diff options
author | Clint Howarth <clint.howarth@gmail.com> | 2011-05-17 09:24:46 +0800 |
---|---|---|
committer | Leonid Volnitsky <leonid@volnitsky.com> | 2011-05-17 13:30:34 +0800 |
commit | 2c2c88288fd282569c88397aa0b6ffab053fa1b0 (patch) | |
tree | cb4a5264f31117124bcfeca69c28d394f7ce2b96 | |
parent | -- docs (diff) | |
download | git-prompt-2c2c88288fd282569c88397aa0b6ffab053fa1b0.tar.gz git-prompt-2c2c88288fd282569c88397aa0b6ffab053fa1b0.tar.bz2 git-prompt-2c2c88288fd282569c88397aa0b6ffab053fa1b0.zip |
add short hostname option
-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 |