Merge "If a command is specified on the cmdline, copy it into the console history"