dotfiles

commit 5334ad476a47ae805bc2de65fbf1ffacc565bbf8
parent 8786750f7a83f506a2513a72cfd9001b141f0f48
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date:   Sat,  4 Oct 2025 11:30:12 +0200

Stop resetting PS4 for 'dumb' TERMs

Relic of 2023-02-12 "Absorb .bashrc bits hoarded from machine to
machine for eons" (b3c2ffb), obsoleted by 2023-02-12 "Give up on
colored PS4" (ec4b87b).

Diffstat:
M
.bash_prompt
 | 
1
-

1 file changed, 0 insertions(+), 1 deletion(-)
diff --git a/.bash_prompt b/.bash_prompt
@@ -243,7 +243,6 @@ if [ "${TERM}" = dumb ]
 then
     PS1='$? \u:\w\$ '
     PS2='> '
-    export PS4='+ '
 else
     __init-smart
 fi