diff options
author | JerryWho <JerryWho@gmx.de> | 2009-08-18 03:42:28 +0800 |
---|---|---|
committer | Leonid Volnitsky <leonid@volnitsky.com> | 2009-08-18 12:02:50 +0800 |
commit | 7d07d9848defc397ad20aad4cb2c582c1f139964 (patch) | |
tree | 0fb7ea71338e1ecacc9e449ca325d6efd0891cbb | |
parent | Add control over color of user name. (diff) | |
download | git-prompt-7d07d9848defc397ad20aad4cb2c582c1f139964.tar.gz git-prompt-7d07d9848defc397ad20aad4cb2c582c1f139964.tar.bz2 git-prompt-7d07d9848defc397ad20aad4cb2c582c1f139964.zip |
cutting default_host from the beginning not from the end of host(name)
Signed-off-by: Leonid Volnitsky <leonid@volnitsky.com>
-rwxr-xr-x | git-prompt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-prompt.sh b/git-prompt.sh index f4bc46e..044252d 100755 --- a/git-prompt.sh +++ b/git-prompt.sh @@ -275,7 +275,7 @@ set_shell_label() { #then host=${HOSTNAME} #host=`hostname --short` - host=${host%$default_host} + host=${host#$default_host} uphost=`echo ${host} | tr a-z A-Z` if [[ $upcase_hostname = "on" ]]; then host=${uphost} |