2019-05-09 18:28:40 +02:00
|
|
|
{ config, lib, pkgs, ... }:
|
2019-02-26 13:44:40 +01:00
|
|
|
|
2019-03-17 11:43:14 +01:00
|
|
|
with lib;
|
|
|
|
|
2019-02-26 13:44:40 +01:00
|
|
|
let
|
2019-05-08 19:32:00 +02:00
|
|
|
cfg = config.machine;
|
|
|
|
optPkgs = package: pkgstring: optionals (elem pkgstring cfg.pkgs) package;
|
2019-05-09 18:28:40 +02:00
|
|
|
gitpkgs = import /nixpkgs {};
|
2019-08-04 00:44:27 +02:00
|
|
|
stablepkgs = import <nixos-stable> {};
|
2019-02-26 13:44:40 +01:00
|
|
|
|
|
|
|
# Programms I'm likely to want on every machine and/or may execute as root
|
|
|
|
base = with pkgs; [
|
|
|
|
alsaUtils
|
2019-06-22 20:52:55 +02:00
|
|
|
finger_bsd
|
2019-02-26 13:44:40 +01:00
|
|
|
ccze
|
|
|
|
cksfv
|
|
|
|
cryptsetup
|
|
|
|
dhcpcd
|
|
|
|
dnsutils
|
2019-08-27 16:02:50 +02:00
|
|
|
git git-lfs
|
2019-02-26 13:44:40 +01:00
|
|
|
gnupg
|
|
|
|
gptfdisk
|
2019-05-08 19:32:00 +02:00
|
|
|
haskellPackages.nix-derivation
|
2019-02-26 13:44:40 +01:00
|
|
|
home-manager
|
|
|
|
htop
|
|
|
|
hwinfo
|
|
|
|
indent
|
|
|
|
iptables
|
2019-05-08 19:32:00 +02:00
|
|
|
jp
|
2019-02-26 13:44:40 +01:00
|
|
|
lrzip
|
2019-04-07 21:19:18 +02:00
|
|
|
lsof
|
2019-02-26 13:44:40 +01:00
|
|
|
lshw
|
|
|
|
macchanger
|
|
|
|
mkpasswd
|
|
|
|
netcat
|
2019-05-08 19:32:00 +02:00
|
|
|
nix-diff
|
2019-02-26 13:44:40 +01:00
|
|
|
nix-index
|
|
|
|
nix-plugins
|
|
|
|
nix-prefetch-git
|
|
|
|
nix-serve
|
|
|
|
nix-update-source
|
|
|
|
nix-zsh-completions
|
|
|
|
nixbang
|
2019-04-07 21:19:18 +02:00
|
|
|
nixops
|
2019-02-26 13:44:40 +01:00
|
|
|
nmap
|
|
|
|
nox
|
|
|
|
ntfs3g
|
|
|
|
oh-my-zsh
|
|
|
|
openssl
|
2019-03-20 02:57:59 +01:00
|
|
|
parted
|
2019-02-26 13:44:40 +01:00
|
|
|
p7zip
|
|
|
|
pciutils
|
|
|
|
psmisc
|
|
|
|
rfkill
|
2019-04-07 21:19:18 +02:00
|
|
|
ripgrep
|
2019-02-26 13:44:40 +01:00
|
|
|
rsync
|
|
|
|
sl
|
|
|
|
sysvtools
|
|
|
|
telnet
|
|
|
|
traceroute
|
|
|
|
tree
|
|
|
|
unrar
|
|
|
|
unzipNLS
|
|
|
|
usbutils
|
|
|
|
vim
|
2019-03-23 02:50:48 +01:00
|
|
|
vulnix
|
2019-02-26 13:44:40 +01:00
|
|
|
wget
|
|
|
|
whois
|
|
|
|
wirelesstools
|
|
|
|
wpa_supplicant
|
|
|
|
zip
|
|
|
|
zlib
|
|
|
|
zsh
|
|
|
|
];
|
|
|
|
|
2019-03-17 11:43:14 +01:00
|
|
|
dict = with pkgs; [
|
|
|
|
translate-shell
|
|
|
|
( hunspellWithDicts (with pkgs.hunspellDicts; [ de-de en-us ] ))
|
2019-06-22 20:52:55 +02:00
|
|
|
( aspellWithDicts (d: with d; [ de en en-computers en-science ] ))
|
2019-03-17 11:43:14 +01:00
|
|
|
];
|
|
|
|
|
2019-02-26 13:44:40 +01:00
|
|
|
emacs = gitpkgs.emacsWithPackages (epkgs: with epkgs; [
|
|
|
|
/* Theming */
|
|
|
|
solarized-theme color-theme-sanityinc-tomorrow moe-theme powerline moody minions
|
|
|
|
/*General Stuff */
|
|
|
|
rainbow-delimiters # color parenthesis by indentation
|
|
|
|
color-identifiers-mode
|
|
|
|
/* Python */
|
2019-08-04 00:44:27 +02:00
|
|
|
company-jedi pylint melpaStablePackages.elpy flycheck-mypy
|
2019-02-26 13:44:40 +01:00
|
|
|
/* Git support */
|
|
|
|
magit
|
|
|
|
emms # multimedia support
|
|
|
|
wsd-mode
|
|
|
|
plantuml-mode
|
|
|
|
/* Other Stuff, not yet sorted */
|
2019-04-12 15:54:54 +02:00
|
|
|
mu4e-alert
|
2019-03-17 11:43:14 +01:00
|
|
|
google-translate
|
2019-07-07 23:26:35 +02:00
|
|
|
tramp
|
2019-02-26 13:44:40 +01:00
|
|
|
transmission
|
|
|
|
org-plus-contrib orgit ox-gfm ox-rst
|
2019-04-07 21:19:18 +02:00
|
|
|
easy-jekyll markdown-mode impatient-mode simple-httpd htmlize
|
2019-02-26 13:44:40 +01:00
|
|
|
eclim
|
|
|
|
auto-complete
|
|
|
|
pkgs.aspell pkgs.aspellDicts.en pkgs.aspellDicts.de
|
|
|
|
use-package diminish bind-key
|
|
|
|
smartparens
|
|
|
|
evil-surround evil-indent-textobject evil-cleverparens avy undo-tree
|
|
|
|
cdlatex # for math expressions
|
|
|
|
helm
|
|
|
|
/* LaTeX */ auctex helm-bibtex cdlatex
|
|
|
|
markdown-mode
|
|
|
|
flycheck
|
|
|
|
pkgs.ledger
|
|
|
|
yaml-mode
|
|
|
|
company
|
2019-08-27 16:02:50 +02:00
|
|
|
# Irony is currently broken.
|
|
|
|
# /* C/C++ */ irony company-irony company-irony-c-headers flycheck-irony clang-format pkgs.clang-tools
|
2019-02-26 13:44:40 +01:00
|
|
|
/* Haskell */ haskell-mode flycheck-haskell
|
|
|
|
/* Org */ org org-ref pdf-tools org-bullets org-caldav
|
|
|
|
/* Rust */ rust-mode flycheck-rust racer
|
|
|
|
/* mail */ messages-are-flowing
|
|
|
|
/* Nix */ nix-buffer nix-mode nixos-options company-nixos-options nix-sandbox
|
|
|
|
paganini-theme
|
2019-08-04 00:44:27 +02:00
|
|
|
json-navigator
|
2019-02-26 13:44:40 +01:00
|
|
|
spaceline # modeline beautification
|
|
|
|
winum eyebrowse # window management
|
|
|
|
auto-compile
|
|
|
|
/* Maxima */ pkgs.maxima
|
|
|
|
visual-fill-column
|
|
|
|
web-mode
|
|
|
|
melpaStablePackages.idris-mode helm-idris
|
2019-06-22 20:52:55 +02:00
|
|
|
/* Java */
|
|
|
|
# projectile yasnippet lsp-mode hydra company-lsp lsp-ui lsp-java dap-mode
|
|
|
|
cl-lib meghanada autodisass-java-bytecode google-c-style realgud
|
|
|
|
weechat
|
2019-02-26 13:44:40 +01:00
|
|
|
]);
|
|
|
|
|
|
|
|
extra = with pkgs; [
|
2019-07-07 23:26:35 +02:00
|
|
|
imagemagick
|
2019-02-26 13:44:40 +01:00
|
|
|
texlive.combined.scheme-full
|
2019-07-07 23:26:35 +02:00
|
|
|
transmission
|
2019-02-26 13:44:40 +01:00
|
|
|
];
|
2019-07-07 23:26:35 +02:00
|
|
|
|
|
|
|
mail_utils = with pkgs; [
|
2019-02-26 13:44:40 +01:00
|
|
|
fetchmail
|
|
|
|
isync
|
2019-07-07 23:26:35 +02:00
|
|
|
mailutils
|
2019-02-26 13:44:40 +01:00
|
|
|
mu-git
|
|
|
|
pandoc
|
|
|
|
postfix
|
|
|
|
];
|
|
|
|
|
|
|
|
cpp = with pkgs; [
|
|
|
|
clang
|
|
|
|
cmake
|
|
|
|
gcc
|
|
|
|
global
|
|
|
|
irony-server
|
|
|
|
];
|
|
|
|
|
|
|
|
haskell = pkgs.haskellPackages.ghcWithPackages (pkgs: with pkgs; [
|
2019-06-22 20:52:55 +02:00
|
|
|
hindent
|
2019-02-26 13:44:40 +01:00
|
|
|
mtl
|
|
|
|
random
|
|
|
|
]);
|
|
|
|
|
2019-06-22 20:52:55 +02:00
|
|
|
haskell-tools = with pkgs; [ cabal-install hlint]; # ghcid
|
|
|
|
|
2019-02-26 13:44:40 +01:00
|
|
|
java = with pkgs; [
|
|
|
|
openjdk11
|
2019-06-22 20:52:55 +02:00
|
|
|
maven
|
|
|
|
(with gitpkgs.eclipses; eclipseWithPlugins {
|
2019-02-26 13:44:40 +01:00
|
|
|
eclipse = eclipse-platform;
|
|
|
|
jvmArgs = [ "-Xmx2048m" ];
|
2019-07-07 23:26:35 +02:00
|
|
|
plugins = with plugins; [
|
2019-06-22 20:52:55 +02:00
|
|
|
color-theme
|
|
|
|
# emacsplus
|
|
|
|
checkstyle
|
|
|
|
eclemma
|
2019-02-26 13:44:40 +01:00
|
|
|
];
|
|
|
|
})
|
|
|
|
];
|
|
|
|
|
2019-07-01 17:38:38 +02:00
|
|
|
python3 = pkgs.python3Full.withPackages(ps: with ps; [
|
2019-02-26 13:44:40 +01:00
|
|
|
GitPython
|
|
|
|
bpython
|
2019-06-22 20:52:55 +02:00
|
|
|
cairosvg cairocffi
|
2019-02-26 13:44:40 +01:00
|
|
|
configparser
|
|
|
|
django
|
|
|
|
elpy
|
|
|
|
emoji
|
|
|
|
epc
|
2019-06-22 20:52:55 +02:00
|
|
|
flake8
|
2019-03-17 11:43:14 +01:00
|
|
|
genanki
|
2019-06-22 20:52:55 +02:00
|
|
|
mypy
|
2019-02-26 13:44:40 +01:00
|
|
|
numpy
|
|
|
|
opencv3
|
|
|
|
paho-mqtt
|
|
|
|
pep8
|
|
|
|
pillow
|
|
|
|
pip
|
|
|
|
plotly
|
|
|
|
pyflakes
|
2019-06-22 20:52:55 +02:00
|
|
|
pygame pygame_sdl2
|
2019-02-26 13:44:40 +01:00
|
|
|
pylama
|
|
|
|
pylint
|
|
|
|
pyopengl
|
|
|
|
pyproj
|
2019-08-04 00:44:27 +02:00
|
|
|
pytest
|
2019-02-26 13:44:40 +01:00
|
|
|
requests
|
|
|
|
schedule
|
|
|
|
scipy
|
|
|
|
selenium
|
|
|
|
telegram
|
|
|
|
tkinter
|
|
|
|
toolz
|
|
|
|
virtualenv
|
2019-07-01 17:38:38 +02:00
|
|
|
xdot
|
2019-02-26 13:44:40 +01:00
|
|
|
# flask
|
|
|
|
# flask-common
|
|
|
|
# flask-compress
|
|
|
|
# flask-cors
|
|
|
|
# flask-limiter
|
2019-07-07 23:26:35 +02:00
|
|
|
# flask-pymongo
|
2019-02-26 13:44:40 +01:00
|
|
|
# flask-restful
|
2019-07-07 23:26:35 +02:00
|
|
|
# flask-restplus
|
2019-02-26 13:44:40 +01:00
|
|
|
# flask_assets
|
|
|
|
# flask_elastic
|
|
|
|
# flask_login
|
|
|
|
# flask_mail
|
|
|
|
# flask_marshmallow
|
|
|
|
# flask_migrate
|
2019-07-07 23:26:35 +02:00
|
|
|
# flask_oauthlib
|
2019-02-26 13:44:40 +01:00
|
|
|
# flask_principal
|
|
|
|
# flask_script
|
|
|
|
# flask_sqlalchemy
|
2019-07-07 23:26:35 +02:00
|
|
|
# flask_testing
|
2019-02-26 13:44:40 +01:00
|
|
|
# flask_wtf
|
2019-05-08 19:32:00 +02:00
|
|
|
# flaskbabel
|
2019-06-22 20:52:55 +02:00
|
|
|
] ++ optionals (elem "i3" cfg.desktop.wms) [ py3status pytz tzlocal ]);
|
2019-02-26 13:44:40 +01:00
|
|
|
|
2019-08-04 00:44:27 +02:00
|
|
|
rustpkgs = with stablepkgs; [
|
2019-02-26 13:44:40 +01:00
|
|
|
rustup
|
|
|
|
carnix
|
|
|
|
rustracer
|
|
|
|
];
|
|
|
|
|
|
|
|
server = with pkgs; [
|
|
|
|
audit
|
|
|
|
letsencrypt
|
|
|
|
php
|
|
|
|
simp_le
|
|
|
|
];
|
|
|
|
|
|
|
|
uniProgs = with pkgs; [
|
|
|
|
qucs
|
|
|
|
];
|
|
|
|
|
|
|
|
xpkgs = with pkgs; [
|
|
|
|
feh
|
|
|
|
scrot
|
|
|
|
theme_flat-remix
|
|
|
|
theme_sddm_midnight
|
|
|
|
gnome3.dconf
|
|
|
|
gnome3.gnome-terminal
|
|
|
|
gnome3.gvfs
|
2019-03-04 10:35:50 +01:00
|
|
|
gvfs
|
2019-06-22 20:52:55 +02:00
|
|
|
gitpkgs.krita gitpkgs.gmic_krita_qt
|
|
|
|
oneko
|
2019-03-04 10:35:50 +01:00
|
|
|
pcmanfm lxmenu-data shared_mime_info
|
2019-02-26 13:44:40 +01:00
|
|
|
pavucontrol
|
|
|
|
xclip
|
|
|
|
xlibs.xkill
|
|
|
|
xorg.xbacklight
|
|
|
|
xdiskusage
|
|
|
|
];
|
|
|
|
|
|
|
|
in {
|
2019-03-23 02:50:48 +01:00
|
|
|
environment.systemPackages = base
|
2019-03-17 11:43:14 +01:00
|
|
|
++ (optPkgs dict "dict")
|
2019-02-26 13:44:40 +01:00
|
|
|
++ (optPkgs [emacs] "emacs")
|
|
|
|
++ (optPkgs extra "extra")
|
2019-07-07 23:26:35 +02:00
|
|
|
++ (optPkgs mail_utils "mailutils")
|
2019-02-26 13:44:40 +01:00
|
|
|
++ (optPkgs cpp "cpp")
|
|
|
|
++ (optPkgs [haskell] "haskell")
|
|
|
|
++ (optPkgs java "java")
|
|
|
|
++ (optPkgs [python3] "python3")
|
|
|
|
++ (optPkgs rustpkgs "rustpkgs")
|
|
|
|
++ (optPkgs server "server")
|
|
|
|
++ (optPkgs uniProgs "uniProgs")
|
|
|
|
++ (optPkgs xpkgs "xpkgs");
|
|
|
|
|
2019-07-11 11:58:45 +02:00
|
|
|
services.emacs = mkIf (elem "emacs" cfg.pkgs) {
|
|
|
|
defaultEditor = true;
|
|
|
|
enable = true;
|
|
|
|
install = true;
|
2019-02-26 13:44:40 +01:00
|
|
|
package = emacs;
|
|
|
|
};
|
|
|
|
}
|