Whatever we pick, some people will complain, so many shells feature user-customizable prompts, with metacharacters to allow interpolation of things like the current command number:

-> /prompt "foo>"

foo> /prompt "foo ($n)>"

foo (1)> _

Currently the /prompt command toggles display of the prompt; if we give it an optional argument, we can also let the user customize the prompt. (We can defer doing things like $n for now, but we should carve out some syntax that is unlikely to conflict with user prompts like ${lineno} to reserve for future use.)

-Brian
---------

There are two prompts: standard and continuation. Would this command require both prompts to be specified?

-Robert