Chnages to bash

config/bashrc

@@ -1,14 +1,6 @@
 # If not running interactively, don't do anything
 [ -z "$PS1" ] && return
 
-# don't put duplicate lines or lines starting with space in the history.
-# See bash(1) for more options
-HISTCONTROL=ignoreboth
-
-# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
-HISTSIZE=1000
-HISTFILESIZE=2000
-
 # check the window size after each command and, if necessary,
 # update the values of LINES and COLUMNS.
 shopt -s checkwinsize
@@ -52,7 +44,8 @@ shopt -s histappend
 shopt -s cmdhist
 
 # Record each line as it gets issued
-PROMPT_COMMAND='history -a'
+# PROMPT_COMMAND='history -a'
+PROMPT_COMMAND="${PROMPT_COMMAND:+$PROMPT_COMMAND$'\n'}history -a; history -c; history -r"
 
 # Huge history. Doesn't appear to slow things down, so why not?
 HISTSIZE=500000
@@ -190,8 +183,6 @@ alias la="ls -A"
 alias ll="ls -lha"
 alias vim="nvim"
 
-alias isas="ssh pander@i81server.ira.uka.de"
-
 source ~/bin/autocomplete.sh
 # alias vims="vim -c \"call feedkeys(':source ~/.vim/obsessions/')\""