diff --git a/profile/rda/envrcd.d/10-envvars b/profile/rda/envrcd.d/10-envvars index 0319a26e12839cb368e01af747f702cf7bcb31e1..063092d897789eedf6607815f4d2da8c81f54689 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 "