2017-03-01 15:45:50 +01:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
|
|
|
|
|
{
|
2017-08-16 12:18:42 +02:00
|
|
|
users.users.makefu.packages = with pkgs;[
|
2019-04-05 02:02:08 +02: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 08:30:50 +01:00
|
|
|
picocom
|
2019-04-05 02:02:08 +02:00
|
|
|
python3.pkgs.pyserial
|
|
|
|
|
python3.pkgs.virtualenv
|
2017-05-02 14:04:01 +02:00
|
|
|
# embedded
|
2017-08-16 12:18:42 +02:00
|
|
|
gi
|
2017-03-01 15:45:50 +01:00
|
|
|
flashrom
|
2017-05-02 14:04:01 +02:00
|
|
|
mosquitto
|
|
|
|
|
libcoap
|
|
|
|
|
nodemcu-uploader
|
|
|
|
|
esptool
|
|
|
|
|
cac-api
|
|
|
|
|
cac-panel
|
2017-12-08 14:28:36 +01:00
|
|
|
krebszones
|
2017-06-18 14:00:05 +02:00
|
|
|
ovh-zone
|
2017-06-26 16:01:36 +02:00
|
|
|
whatsupnix
|
|
|
|
|
brain
|
2017-07-01 01:11:31 +02:00
|
|
|
gen-oath-safe
|
2017-10-09 13:54:56 +02:00
|
|
|
cdrtools
|
2018-01-04 00:53:04 +01:00
|
|
|
# nix related
|
|
|
|
|
nix-index
|
2019-01-22 08:15:13 +01:00
|
|
|
nix-review
|
2017-12-29 02:44:11 +01:00
|
|
|
# git-related
|
|
|
|
|
tig
|
2019-04-05 02:02:08 +02:00
|
|
|
(pkgs.callPackage ./init-host {})
|
2017-03-01 15:45:50 +01:00
|
|
|
];
|
|
|
|
|
}
|
