A TinyShell program runs on the Linux OS.