diff options
author | tv <tv@krebsco.de> | 2017-03-05 17:01:57 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2017-03-05 17:01:57 +0100 |
commit | 23a79b8fb02b3bebfb377f2b236432ff9a73343a (patch) | |
tree | 494bcb3bb57b397bab756aebe86e85dbd5a2a2fd /makefu/2configs/tools/dev.nix | |
parent | fd6c056a720544319f02cf02b64fa8dd2b657aa8 (diff) | |
parent | cb48e9371a337d23e1f3f09b5d024ee60451d9d2 (diff) |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/2configs/tools/dev.nix')
-rw-r--r-- | makefu/2configs/tools/dev.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/makefu/2configs/tools/dev.nix b/makefu/2configs/tools/dev.nix new file mode 100644 index 000000000..8acc25fcc --- /dev/null +++ b/makefu/2configs/tools/dev.nix @@ -0,0 +1,10 @@ +{ pkgs, ... }: + +{ + krebs.per-user.makefu.packages = with pkgs;[ + nodemcu-uploader + esptool + python35Packages.virtualenv + flashrom + ]; +} |