Make starting to the prompt optional; without the --prompt option, do
nothing.