From 5334ad476a47ae805bc2de65fbf1ffacc565bbf8 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date: Sat, 4 Oct 2025 11:30:12 +0200
Subject: 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).
---
 .bash_prompt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.bash_prompt b/.bash_prompt
index 900bd04..2ac3151 100644
--- a/.bash_prompt
+++ b/.bash_prompt
@@ -243,7 +243,6 @@ if [ "${TERM}" = dumb ]
 then
     PS1='$? \u:\w\$ '
     PS2='> '
-    export PS4='+ '
 else
     __init-smart
 fi
-- 
cgit v1.2.3