From 1d34037dff56731e21340a62365d7d9252b6c82f Mon Sep 17 00:00:00 2001
From: mattiaborsarini <mattia-git@mattiaborsarini.xyz>
Date: Thu, 25 Jul 2024 11:00:12 +0200
Subject: [PATCH] bashrc: Merge-in new system file

---
 bashrc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bashrc b/bashrc
index 5177a92..d03734b 100644
--- a/bashrc
+++ b/bashrc
@@ -15,6 +15,7 @@ if [ -z "$BASHRCSOURCED" ]; then
   # are we an interactive shell?
   if [ "$PS1" ]; then
     if [ -z "$PROMPT_COMMAND" ]; then
+      declare -a PROMPT_COMMAND
       case $TERM in
       xterm*)
         if [ -e /etc/sysconfig/bash-prompt-xterm ]; then
@@ -39,6 +40,7 @@ if [ -z "$BASHRCSOURCED" ]; then
     shopt -s histappend
     # Turn on checkwinsize
     shopt -s checkwinsize
+    # Change the default prompt string
     [ "$PS1" = "\\s-\\v\\\$ " ] && PS1="[\u@\h \W]\\$ "
     # You might want to have e.g. tty in prompt (e.g. more virtual machines)
     # and console windows