On Tue, 16 Jun 2026, Todd Gruhn wrote:
Is there a best way to reset PS1 and PS2 ?
You mean get the orig. settings back? ``` OPS1=$PS1 # save orig. PS1 PS1=... # modify PS1=$OPS1 # back to orig. ``` -RVP