From e82a08dc37bce833ec043edccb27d8bdfa27d06e Mon Sep 17 00:00:00 2001 From: Steven Lu Date: Thu, 8 Aug 2013 22:23:06 -0400 Subject: [PATCH] This adds the host to the enhanced history in preparation for auto-chronological-merging of my command history --- zshrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zshrc b/zshrc index 3c45012d8..5e7213327 100644 --- a/zshrc +++ b/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}