From e916f2459bc4fc24ed078b7e9b4ebe76961bcbe9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sven=20M=C3=A4der?= <maeder@phys.ethz.ch>
Date: Fri, 7 Oct 2022 10:50:41 +0200
Subject: [PATCH] Add some histignore cmds for profile rda

---
 profile/rda/envrcd.d/10-envvars | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/profile/rda/envrcd.d/10-envvars b/profile/rda/envrcd.d/10-envvars
index 0319a26..063092d 100644
--- a/profile/rda/envrcd.d/10-envvars
+++ b/profile/rda/envrcd.d/10-envvars
@@ -46,7 +46,7 @@ export HISTSIZE=4000
 # truncate history file to this size
 export HISTFILESIZE=4000
 # ignore these commands for history
-export HISTIGNORE=""
+export HISTIGNORE="gits:gita:gitd:gitds:gitpr:git push"
 # save timestamps
 export HISTTIMEFORMAT="%FT%T%z  "
 
-- 
GitLab