Richard Schneeman on Nostr: I have an elaborate terminal prompt with info that's not always relevant to reporting ...

I have an elaborate terminal prompt with info that's not always relevant to reporting a bug or sharing a series of terminal commands. To that end, I made a `demo` command that toggles my prompt on and off to make for easier copy/pasting. I like it so far:

$ which demo
demo () {
if [ -z "$OLDPROMPT" ]
then
export OLDPROMPT="$PROMPT"
export PROMPT="\$ "
else
export PROMPT="$OLDPROMPT"
unset OLDPROMPT
fi
}