Merge pull request #1091 from specter119/master

use $SHORT_HOSTNAME if set for powerline theme
2017-11-17 06:25:54 -06:00 · 2017-11-17 06:25:54 -06:00 · 76e4659126
parent 4743fc5b4b e325859afb
commit 76e4659126
1 changed files with 1 additions and 1 deletions
--- a/themes/powerline/powerline.base.bash
+++ b/themes/powerline/powerline.base.bash
@ -31,7 +31,7 @@ function __powerline_user_info_prompt {
      ;;
    *)
      if [[ -n "${SSH_CLIENT}" ]]; then
-        user_info="${USER_INFO_SSH_CHAR}${USER}@${HOSTNAME}"
+        user_info="${USER_INFO_SSH_CHAR}${USER}@${SHORT_HOSTNAME:=$HOSTNAME}"
      else
        user_info="${USER}"
      fi