diff options
-rw-r--r-- | git-prompt.conf | 2 | ||||
-rwxr-xr-x | 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 |