change platform directory shortnames
Merge branch 'nix' of github.com:philologer/shellconf into nix