|
|
@ -11,13 +11,6 @@ if [[ "$TERM" == 'dumb' ]]; then |
|
|
|
return 1 |
|
|
|
return 1 |
|
|
|
fi |
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
# Set the GNU Screen window number. |
|
|
|
|
|
|
|
if [[ -n "$WINDOW" ]]; then |
|
|
|
|
|
|
|
export SCREEN_NO="%B${WINDOW}%b " |
|
|
|
|
|
|
|
else |
|
|
|
|
|
|
|
export SCREEN_NO="" |
|
|
|
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Sets the GNU Screen title. |
|
|
|
# Sets the GNU Screen title. |
|
|
|
function set-screen-window-title { |
|
|
|
function set-screen-window-title { |
|
|
|
if [[ "$TERM" == screen* ]]; then |
|
|
|
if [[ "$TERM" == screen* ]]; then |
|
|
|