os/pkgs/shells/zsh/purs
2020-07-20 18:45:25 -06:00
..
default.nix pkgs#purs: show user@host inside ssh session 2020-07-16 18:43:28 -06:00
init.sh purs: show user when root 2020-07-20 18:45:25 -06:00