chiark / gitweb /
bashrc: set +H