From 2a9e1c1f43b68dc3bcdb60216138d732eebf9751 Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Sun, 17 Feb 2019 02:54:31 +0100
Subject: [PATCH] [bash] erase history duplicates

---
 bash/.bashrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bash/.bashrc b/bash/.bashrc
index ef20d35..c2992cf 100644
--- a/bash/.bashrc
+++ b/bash/.bashrc
@@ -18,6 +18,7 @@ bashrc_customize_environment() {
         cyan="0;36"   blue="0;34"   violet="1;35" magenta="0;35"
 
     # Eternal bash history (from https://stackoverflow.com/a/19533853)
+    export HISTCONTROL=erasedups
     export HISTFILESIZE=
     export HISTSIZE=
     export HISTTIMEFORMAT="[%F %T] "