From 7d07d9848defc397ad20aad4cb2c582c1f139964 Mon Sep 17 00:00:00 2001 From: JerryWho Date: Tue, 18 Aug 2009 03:42:28 +0800 Subject: cutting default_host from the beginning not from the end of host(name) Signed-off-by: Leonid Volnitsky --- git-prompt.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'git-prompt.sh') 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} -- cgit v1.2.3