This patch adds support for terminal emulators. Without this it wont work on gnome-terminal on Ubuntu

master
Adrian Perez Heredia 2014-08-26 19:53:58 +02:00
parent 9d96e4a6bf
commit ab56ec6675
1 changed files with 2 additions and 0 deletions

View File

@ -100,6 +100,8 @@ if [ -z "$PROFILE" ]; then
PROFILE="$HOME/.bash_profile" PROFILE="$HOME/.bash_profile"
elif [ -f "$HOME/.zshrc" ]; then elif [ -f "$HOME/.zshrc" ]; then
PROFILE="$HOME/.zshrc" PROFILE="$HOME/.zshrc"
elif [ -f "$HOME/.bashrc" ]; then
PROFILE="$HOME/.bashrc"
elif [ -f "$HOME/.profile" ]; then elif [ -f "$HOME/.profile" ]; then
PROFILE="$HOME/.profile" PROFILE="$HOME/.profile"
fi fi