Mshell: a Unix menuing shell