2017-03-01 14:45:50 +00:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
|
|
|
|
|
{
|
2017-08-16 10:18:42 +00:00
|
|
|
users.users.makefu.packages = with pkgs;[
|
2019-04-05 00:02:08 +00:00
|
|
|
(python3.withPackages(ps: [
|
|
|
|
|
ps.python-language-server
|
|
|
|
|
# the following plugins are optional, they provide type checking, import sorting and code formatting
|
|
|
|
|
ps.pyls-mypy ps.pyls-isort ps.pyls-black
|
|
|
|
|
ps.virtualenv
|
|
|
|
|
]))
|
2019-01-28 07:30:50 +00:00
|
|
|
picocom
|
2019-04-05 00:02:08 +00:00
|
|
|
python3.pkgs.pyserial
|
|
|
|
|
python3.pkgs.virtualenv
|
2017-05-02 12:04:01 +00:00
|
|
|
# embedded
|
2017-08-16 10:18:42 +00:00
|
|
|
gi
|
2017-03-01 14:45:50 +00:00
|
|
|
flashrom
|
2017-05-02 12:04:01 +00:00
|
|
|
mosquitto
|
|
|
|
|
libcoap
|
|
|
|
|
nodemcu-uploader
|
|
|
|
|
esptool
|
|
|
|
|
cac-api
|
|
|
|
|
cac-panel
|
2017-12-08 13:28:36 +00:00
|
|
|
krebszones
|
2017-06-18 12:00:05 +00:00
|
|
|
ovh-zone
|
2017-06-26 14:01:36 +00:00
|
|
|
whatsupnix
|
|
|
|
|
brain
|
2017-06-30 23:11:31 +00:00
|
|
|
gen-oath-safe
|
2017-10-09 11:54:56 +00:00
|
|
|
cdrtools
|
2018-01-03 23:53:04 +00:00
|
|
|
# nix related
|
|
|
|
|
nix-index
|
2019-01-22 07:15:13 +00:00
|
|
|
nix-review
|
2017-12-29 01:44:11 +00:00
|
|
|
# git-related
|
|
|
|
|
tig
|
2019-04-05 00:02:08 +00:00
|
|
|
(pkgs.callPackage ./init-host {})
|
2017-03-01 14:45:50 +00:00
|
|
|
];
|
|
|
|
|
}
|
