On Wed, Nov 18, 2009 at 8:48 AM, Nicolas Thierry-Mieg <Nicolas.Thierry-Mieg at imag.fr> wrote: > what do you get with these: > echo $PROMPT_COMMAND > echo $PS1 Isn't Mike (the OP) asking about PS3 rather than PS1 ?