chiark / gitweb /
hacks/ssh: Pass the requested port to `ssh -Ocheck'.
[profile] / dot / cgrc
1 log -c
2 diff -c