History merge note
This commit is contained in:
parent
04614599f5
commit
dd6caf8f53
|
@ -154,6 +154,7 @@ function sync-history {
|
|||
scp -P 11275 "$HOME/.histfile" 'sage@sagev.space:~/histfile'
|
||||
return
|
||||
fi
|
||||
echo "Merging history files..."
|
||||
fc -W # Write to history file
|
||||
merge-hist "$HOME/.histfile" "$HOME/.tmp/.histfile" > "$HOME/.tmp/$(whoami).histfile"
|
||||
mv "$HOME/.tmp/$(whoami).histfile" "$HOME/.histfile"
|
||||
|
|
Loading…
Reference in New Issue