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 ?
Wed Nov 18 17:19:15 UTC 2009
Bart Schaefer <barton.schaefer at gmail.com>
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 ?