Upgrade history handling

.bashrc

@@ -18,8 +18,8 @@ shopt -s histappend
 shopt -s histverify
 
 # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
-HISTSIZE=1000
-HISTFILESIZE=2000
+HISTSIZE=4096
+HISTFILESIZE=4096
 
 # check the window size after each command and, if necessary,
 # update the values of LINES and COLUMNS.
@@ -71,6 +71,9 @@ prompt_colon()
 
 set_bash_prompt()
 {
+	# Update the history file after every command
+	# This prevents a loss of history in the case of an unclean exit
+	history -a
 	PS1="${debian_chroot:+($debian_chroot)}${HOST_COLOUR}\u@\H\[\033[00m\]$(prompt_colon)\[\033[01;34m\]\w\[\033[00m\]"
 	if [[ "$UID" = 0 ]]; then
 		PS1="${PS1}# "