chiark / gitweb /
shared: add terminal-util.[ch]