From a2a1ec8c15d34ff0c777029fac95e04790d59ffe Mon Sep 17 00:00:00 2001
From: mattia <mattia-git@mattiaborsarini.xyz>
Date: Sat, 28 May 2022 17:50:18 +0200
Subject: [PATCH] bashrc: Merge-in new system file

---
 bashrc | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/bashrc b/bashrc
index 06ed546..e16eda8 100644
--- a/bashrc
+++ b/bashrc
@@ -19,8 +19,6 @@ if [ -z "$BASHRCSOURCED" ]; then
       xterm*|vte*)
         if [ -e /etc/sysconfig/bash-prompt-xterm ]; then
             PROMPT_COMMAND=/etc/sysconfig/bash-prompt-xterm
-        elif [ "${VTE_VERSION:-0}" -ge 3405 ]; then
-            PROMPT_COMMAND="__vte_prompt_command"
         else
             PROMPT_COMMAND='printf "\033]0;%s@%s:%s\007" "${USER}" "${HOSTNAME%%.*}" "${PWD/#$HOME/\~}"'
         fi
@@ -39,7 +37,6 @@ if [ -z "$BASHRCSOURCED" ]; then
     fi
     # Turn on parallel history
     shopt -s histappend
-    history -a
     # Turn on checkwinsize
     shopt -s checkwinsize
     [ "$PS1" = "\\s-\\v\\\$ " ] && PS1="[\u@\h \W]\\$ "