mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2026-02-13 03:01:32 +01:00
This adds the host to the enhanced history in preparation for auto-chronological-merging of my command history
This commit is contained in:
parent
bb102a0e18
commit
e82a08dc37
1 changed files with 1 additions and 1 deletions
2
zshrc
2
zshrc
|
|
@ -68,7 +68,7 @@ function zshaddhistory() {
|
|||
# do not do anything on common commands
|
||||
|
||||
# do the needful
|
||||
echo "$PWD; $COMMAND_STR; $TTY@$(date +%s.%N)" >> ~/.zsh_enhanced_history
|
||||
echo "$PWD; $COMMAND_STR; $TTY@$HOST@$(date +%s.%N)" >> ~/.zsh_enhanced_history
|
||||
|
||||
# rest is "default" zshaddhistory()
|
||||
print -Sr ${COMMAND_STR}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue