From 2c2c88288fd282569c88397aa0b6ffab053fa1b0 Mon Sep 17 00:00:00 2001 From: Clint Howarth Date: Tue, 17 May 2011 09:24:46 +0800 Subject: add short hostname option --- git-prompt.conf | 2 ++ git-prompt.sh | 7 +++++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/git-prompt.conf b/git-prompt.conf index 9f59e8f..81ddec9 100644 --- a/git-prompt.conf +++ b/git-prompt.conf @@ -37,6 +37,8 @@ # Some don't like hostname in uppercase # upcase_hostname=on # =off +# Some don't like long hostname +# short_hostname=off # =on # Do not do VCS parsing for listed directories # useful for directories for which it is difficult to maintain .gitignore so diff --git a/git-prompt.sh b/git-prompt.sh index a7022d2..7ac5c3d 100755 --- a/git-prompt.sh +++ b/git-prompt.sh @@ -62,7 +62,8 @@ max_file_list_length=${max_file_list_length:-100} - upcase_hostname=${upcase_hostname:-on} + short_hostname=${short_hostname:-off} + upcase_hostname=${upcase_hostname:-on} count_only=${count_only:-off} rawhex_len=${rawhex_len:-5} @@ -297,7 +298,9 @@ set_shell_label() { #then host=${HOSTNAME} - #host=`hostname -s` + if [[ $short_hostname = "on" ]]; then + host=`hostname -s` + fi host=${host#$default_host} uphost=`echo ${host} | tr a-z A-Z` if [[ $upcase_hostname = "on" ]]; then -- cgit v1.2.3