Doncho Gunchev f411c5a2fe Don't add our prompt_command twice, also prepend ... During testing if you source it twice you get that problem now. The error code formatting/logging gets broken if we run prompt_command after other stuff. Running anything external obviously resets $?.		2024-02-13 17:37:52 +02:00
..
ps-twtty-7.sh	Don't add our prompt_command twice, also prepend	2024-02-13 17:37:52 +02:00