From 7ff56e393e3f7159c1deb6882255df0b18fdc5c9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakobus=20Sch=C3=BCrz?= <jakobus.schuerz>
Date: Wed, 12 Feb 2020 15:25:26 +0100
Subject: [PATCH] add history options

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

diff --git a/myshell_load_defaults b/myshell_load_defaults
index b21e102..618f0cf 100644
--- a/myshell_load_defaults
+++ b/myshell_load_defaults
@@ -126,6 +126,8 @@ fi
 # Disable Ctrl+s to freeze terminal
 # Source https://www.digitalocean.com/community/tutorials/how-to-use-bash-history-commands-and-expansions-on-a-linux-vps
 stty -ixon
+HISTCONTROL=erasedups
+HISTIGNORE="ls:cd:exit"
 
 echo "bashrc_add sourced" 2>&1 |tee -a ${MYSHELLCONFIG_LOGFILE} >&2
 #echo "bashrc_add sourced" >&2