From 742c1ea26f91ac961ea920113ff79dc31d32635d Mon Sep 17 00:00:00 2001 From: Indrajit Raychaudhuri Date: Wed, 5 May 2021 11:44:41 -0500 Subject: [PATCH] history: use external `mv` command for HISTFILE migration This will make sure the actual external command `mv` is used instead of wrapper function. --- modules/history/init.zsh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/history/init.zsh b/modules/history/init.zsh index 39b08c9..3f815c0 100644 --- a/modules/history/init.zsh +++ b/modules/history/init.zsh @@ -46,7 +46,7 @@ NOTICE: Default path of 'HISTFILE' has changed from '${OLD_HISTFILE/#$HOME/~}' to '${HISTFILE/#$HOME/~}'. Attempting to rename the existing 'HISTFILE' ... EON - mv -v "$OLD_HISTFILE" "$HISTFILE" + command mv -v "$OLD_HISTFILE" "$HISTFILE" # New 'HISTFILE' does exist and is older than legacy one, just warn. elif [[ "$OLD_HISTFILE" -nt "$HISTFILE" ]]; then