Add empty HISTIGNORE in globi profile

profile/globi/envrcd.d/10-envvars

@@ -17,6 +17,9 @@ if [ "${ENVRCD_USER}" == "globi" ]; then
     export DEBFULLNAME="Christian Ringger"
 fi
 
+# ignore these commands for history
+export HISTIGNORE=""
+
 
 # --- ansible ---
 #if [ "${ENVRCD_USER}" == "globi" ] && [ "${USER}" == "chringge" ]; then