history: use external mv command for HISTFILE migration

This will make sure the actual external command `mv` is used instead of
wrapper function.
This commit is contained in:
Indrajit Raychaudhuri 2021-05-05 11:44:41 -05:00 committed by Valdemiro Rosa Vieira Santos
parent 08bee9d322
commit 413df97a68

View file

@ -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