This commit is contained in:
Michael Wolf 2018-04-17 21:09:52 +00:00 committed by GitHub
commit 5353c9c87e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 18 additions and 1 deletions

View File

@ -51,4 +51,21 @@ if [[ "$TERM" == screen* ]]; then
eval "tab_hardstatus=$TAB_HARDSTATUS_PREFIX:$TAB_HARDSTATUS_PROMPT"
screen_set $tab_title $tab_hardstatus
}
fi
fi
function screen_prompt_info() {
r=""
# I'm not thrilled about this method of testing
if [ x"$TERM" = x"screen" ] ;then
if [ x"$STY" != x"" ] ; then
r="$STY"
fi
fi
if [ x"$r" = x"" ] ; then
echo ""
else
pre=$1
post=$2
echo "$pre$r$post"
fi
}