Some more command line options for the shell.