chiark / gitweb /
dot/shell-rc: Unify the policy on colouring.
[profile] / bin / hacks /
drwxr-xr-x   ..
-rwxr-xr-x 4836 ssh