A tiny terminal program for Linux