]> Frank Brehm's Git Trees - config/dev-mail-fbrehm/etc.git/commitdiff
Modifying profile.d/fbrehm.sh
authorFrank Brehm <frank@brehm-online.com>
Mon, 13 Jan 2025 13:07:56 +0000 (14:07 +0100)
committerFrank Brehm <frank@brehm-online.com>
Mon, 13 Jan 2025 13:07:56 +0000 (14:07 +0100)
profile.d/fbrehm.sh

index 8feeea312c1bc49a16d949c4963e1970a2c5faea..2b73e06a00cfeb0e9c49562184083bd3d1577f85 100644 (file)
@@ -52,6 +52,8 @@ if [[ -n "$force_color_prompt" ]]; then
 fi
 # echo "\$color_prompt=$color_prompt"
 
+# set -x
+
 prompt_status() {
     local e=$?;
     [[ $e != 0 ]] && echo -e "$e ";