#kornshell #korn shell #shell #unix #david korn #pun #command line