From d187fe8496003083f6b782d45df9775ed3e217be Mon Sep 17 00:00:00 2001
From: Hyacinthe Cartiaux <hyacinthe.cartiaux@free.fr>
Date: Thu, 10 Dec 2020 11:06:49 +0100
Subject: [PATCH] [bash] specify HISTCONTROL value to ignore commands beginning
 with a space

---
 bash/bashrc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bash/bashrc b/bash/bashrc
index 1c32ebf..c5a9a8b 100755
--- a/bash/bashrc
+++ b/bash/bashrc
@@ -103,6 +103,9 @@ unset bash bmajor bminor
 HISTSIZE=10000
 HISTFILESIZE=20000
 
+# Lines which begin with a space character are not saved in the history list.
+HISTCONTROL=ignorespace
+
 # Add date and time to the history
 HISTTIMEFORMAT="[%d/%m/%Y %H:%M:%S] "