18 Nov
2009
18 Nov
'09
6:19 p.m.
On Wed, Nov 18, 2009 at 8:48 AM, Nicolas Thierry-Mieg Nicolas.Thierry-Mieg@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 ?