diff options
| author | Wojciech Siewierski <wojciech.siewierski@onet.pl> | 2018-07-16 00:29:45 +0200 |
|---|---|---|
| committer | Wojciech Siewierski <wojciech.siewierski@onet.pl> | 2018-07-16 00:55:20 +0200 |
| commit | 322479d11c05fdc0264c5eda817b7b3163e99f0a (patch) | |
| tree | dc5e7eba02630ccc69fa3b5b3305676f64633b76 /Pipfile | |
| parent | 4f0cb1333be76c888089c17ca508e7ef17f3400f (diff) | |
| download | ranger-322479d11c05fdc0264c5eda817b7b3163e99f0a.tar.gz | |
Use Pipfile/pipenv to manage the linters
We don't want the linters' behavior to suddenly change like right now after the release of pylint 2.0.
Diffstat (limited to 'Pipfile')
| -rw-r--r-- | Pipfile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Pipfile b/Pipfile new file mode 100644 index 00000000..a927408c --- /dev/null +++ b/Pipfile @@ -0,0 +1,15 @@ +[[source]] +url = "https://pypi.org/simple" +verify_ssl = true +name = "pypi" + +[requires] +python_version = "3.5" + +[dev-packages] +pytest = "*" +"flake8" = "*" +pylint = "<2.0.0" +"enum34" = "*" + +[packages] |