From e31aba9e0dac160283d08280e4a9b93f41c7b088 Mon Sep 17 00:00:00 2001 From: Bruno Miguel Silva Date: Mon, 13 Feb 2017 13:36:33 +0000 Subject: [PATCH] iterm integrations --- bash/bash_profile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/bash/bash_profile b/bash/bash_profile index 0870c41..d4dd3c1 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -26,3 +26,5 @@ if [[ -r $HOME/.${HOST_NICKNAME}_bash_profile ]]; then else echo "WARNING: Can't find custom bash_profile" fi + +test -e "${HOME}/.iterm2_shell_integration.bash" && source "${HOME}/.iterm2_shell_integration.bash"