diff options
author | jeschli <jeschli@gmail.com> | 2019-06-10 18:56:19 +0200 |
---|---|---|
committer | jeschli <jeschli@gmail.com> | 2019-06-10 18:56:19 +0200 |
commit | 8079877eee34d0a658e8419adfa8987e648388a8 (patch) | |
tree | 3e7a6329ff267d0fef65fe00b0786c398a72080f | |
parent | 89af71b0ad44862282cf26efe4d33630311296bc (diff) |
j brauerei: -python35 +python37
-rw-r--r-- | jeschli/1systems/brauerei/config.nix | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/jeschli/1systems/brauerei/config.nix b/jeschli/1systems/brauerei/config.nix index 059ec6d71..f536801ba 100644 --- a/jeschli/1systems/brauerei/config.nix +++ b/jeschli/1systems/brauerei/config.nix @@ -78,19 +78,9 @@ in gcc ghc go - python35 - python35Packages.pip - (vagrant.override { - bundlerEnv = bundlerEnv.override { - bundler = bundler.overrideAttrs (old: { - name = "bundler-1.16.1"; - src = fetchurl { - url = "https://rubygems.org/gems/bundler-1.16.1.gem"; - sha256 = "1s2nq4qnffxg3kwrk7cnwxcvfihlhxm9absl2l6d3qckf3sy1f22"; - }; - }); - }; - }) + python37 + python37Packages.pip + pipenv # dev tools gnumake jetbrains.clion |