commit: cdcf5db3c559c40a4fdd3abba8c0fc535aa1d71c
parent ff4ae9b88db975ba0318fcf4383d204e4a6eb29e
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Mon, 27 Feb 2023 22:18:46 +0100
Move HISTFILE & HISTSIZE in ~/.mkshrc
Diffstat:
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/.mkshrc b/.mkshrc
@@ -3,4 +3,8 @@ set -o markdirs
set -o braceexpand
set -o noclobber
+# Do NOT export
+HISTFILE="$HOME/.mksh_history"
+HISTSIZE="65536"
+
. ~/.common.sh
diff --git a/.profile b/.profile
@@ -14,8 +14,6 @@ unset GIT_OBJECT_DIRECTORY
export GPGKEY='DDC9237C14CF6F4DD847F6B390D93ACCFEFF61AE'
export GTK_CSD=0
export GTK_OVERLAY_SCROLLING=0
-export HISTFILE="$HOME/.$(basename $SHELL)_history"
-export HISTSIZE="65536"
export LANG="en_DK.UTF-8"
export LC_ADDRESS='fr_FR.UTF-8'
export LC_TIME='en_DK.UTF-8' # Keep on ISO-8601 even when temporarly setting other LANG