Kierán Meinhardt 93c497961a VPN ...

~ move ghci dotfile
+ vim: black as python formatter
+ openvpn
+ wpa_supplicant_gui
+ dot2tex
+ graphviz
+ hlint
~ nix-shell: use zsh
~ zsh: show whether in nix-shell
~ ghci: hoogle with haddock links
~ ssh: login with hu id (no passphrase)
~ terminal: Source Code Pro

2018-10-31 00:48:32 +01:00

..

ghci.nix

VPN

2018-10-31 00:48:32 +01:00

mpv.nix

Configure like hell

2018-09-11 18:16:33 +02:00

scripts.nix

+ generate-shell-nix

2018-10-10 13:03:22 +02:00

ssh.nix

VPN

2018-10-31 00:48:32 +01:00

stack.nix

Installed. More configuration

2018-09-19 16:46:12 +02:00

terminal.nix

Misc

2018-10-06 10:39:34 +02:00

tmux.nix

Configure more. Ready to install?

2018-09-13 22:48:38 +02:00