chiark / gitweb /
dot/shell-rc: Write the various control sequences to the terminal explicitly.