diff options
author | Leonid Volnitsky <Leonid@Volnitsky.com> | 2009-07-02 15:03:31 +0300 |
---|---|---|
committer | Leonid Volnitsky <Leonid@Volnitsky.com> | 2009-07-02 15:03:31 +0300 |
commit | fe3a155c8594644a7b81beb428b2b9bdbef2bda3 (patch) | |
tree | 24e4faa0dd84992b3c4d9dbd2d95256135e93443 /git-prompt.sh | |
parent | cwd_cmd selector (diff) | |
download | git-prompt-fe3a155c8594644a7b81beb428b2b9bdbef2bda3.tar.gz git-prompt-fe3a155c8594644a7b81beb428b2b9bdbef2bda3.tar.bz2 git-prompt-fe3a155c8594644a7b81beb428b2b9bdbef2bda3.zip |
-- fixed: upcase_hostname didn't do right thing if host == default_host
Diffstat (limited to 'git-prompt.sh')
-rwxr-xr-x | git-prompt.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/git-prompt.sh b/git-prompt.sh index ce09210..6adf581 100755 --- a/git-prompt.sh +++ b/git-prompt.sh @@ -270,8 +270,11 @@ set_shell_title() { #then host=${HOSTNAME} #host=`hostname --short` - [[ $upcase_hostname = "on" ]] && host=`echo ${host%$default_host} | tr a-z A-Z` - #host=`echo ${host} | tr a-z A-Z` + if [[ $upcase_hostname = "on" ]]; then + host=`echo ${host%$default_host} | tr a-z A-Z` + else + host=${host%$default_host} + fi host_color=${host}_host_color host_color=${!host_color} |