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

609 B

Raw Blame History

View Raw