From e325859afb9cfe7328c7d275de270ab839bcf1a7 Mon Sep 17 00:00:00 2001
From: KeLiu <specter119@users.noreply.github.com>
Date: Fri, 17 Nov 2017 17:07:43 +0800
Subject: [PATCH] use $SHORT_HOSTNAME if set

change `${HOSTNAME}` to `${SHORT_HOSTNAME:=$HOSTNAME}`
---
 themes/powerline/powerline.base.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/themes/powerline/powerline.base.bash b/themes/powerline/powerline.base.bash
index 6646814a..002a7329 100644
--- 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