#6 Customize prompt

[Martin Geisler]

It would be neat if one could customize the prompt,
just as in a normal shell.

This could be as simple as being able to substitute the
default prompt for another, or it could be a fancy
system with prompt expansion as in Zsh where as %m
expands to the hostname, a %D expands to the current
date, etc.

Also inspired by Zsh, one could try and make a *right*
prompt. This would be just like a normal prompt, but
aligned to the right. This is quite useful in a normal
terminal, but maybe not so for a web-terminal (since
the information could just as easily be placed
somewhere else, i.e., below the terminal window.