From d7736cea941e181a6012ebe79a7b72088de86667 Mon Sep 17 00:00:00 2001 From: Jakub Czajka Date: Thu, 22 Dec 2022 20:47:43 +0100 Subject: [PATCH] [bash] Keep history in `${XDG_DATA_HOME}/bash/history`. --- bash/.config/profile.d/50-bash.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 bash/.config/profile.d/50-bash.sh diff --git a/bash/.config/profile.d/50-bash.sh b/bash/.config/profile.d/50-bash.sh new file mode 100644 index 0000000..44ef5fb --- /dev/null +++ b/bash/.config/profile.d/50-bash.sh @@ -0,0 +1,10 @@ +# Copyright (c) 2022 Jakub Czajka +# License: GPL-3.0 or later. +# +# 50-bash.sh - bash environment variables. + +if [ ! -f ${XDG_DATA_HOME}/bash ]; then + mkdir -p ${XDG_DATA_HOME}/bash +fi + +export HISTFILE="${XDG_DATA_HOME}/bash/history" -- 2.39.5