From 4cb7453e90fc4261bc5db017cde5edb7c1ea68ab Mon Sep 17 00:00:00 2001 From: John D Pell Date: Mon, 27 Dec 2021 12:52:50 -0800 Subject: [PATCH] plugins/xterm: not just Xterm --- plugins/available/xterm.plugin.bash | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/plugins/available/xterm.plugin.bash b/plugins/available/xterm.plugin.bash index 740460e4..329212ed 100644 --- a/plugins/available/xterm.plugin.bash +++ b/plugins/available/xterm.plugin.bash @@ -2,7 +2,7 @@ cite about-plugin about-plugin 'automatically set your xterm title with host and location info' -_short-dirname() { +function _short-dirname() { local dir_name="${PWD/~/\~}" if [[ "${SHORT_TERM_LINE:-}" == true && "${#dir_name}" -gt 8 ]]; then echo "${dir_name##*/}" @@ -11,7 +11,7 @@ _short-dirname() { fi } -_short-command() { +function _short-command() { local input_command="$*" if [[ "${SHORT_TERM_LINE:-}" == true && "${#input_command}" -gt 8 ]]; then echo "${input_command%% *}" @@ -20,16 +20,16 @@ _short-command() { fi } -set_xterm_title() { +function set_xterm_title() { local title="${1:-}" echo -ne "\033]0;${title}\007" } -precmd_xterm_title() { +function precmd_xterm_title() { set_xterm_title "${SHORT_USER:-${USER}}@${SHORT_HOSTNAME:-${HOSTNAME}} $(_short-dirname) ${PROMPT_CHAR:-\$}" } -preexec_xterm_title() { +function preexec_xterm_title() { local command_line="${BASH_COMMAND:-${1:-}}" local directory_name short_command directory_name="$(_short-dirname)" @@ -38,8 +38,8 @@ preexec_xterm_title() { } case "${TERM:-dumb}" in - xterm* | rxvt*) - precmd_functions+=(precmd_xterm_title) - preexec_functions+=(preexec_xterm_title) + xterm* | rxvt* | gnome-terminal | konsole | zvt | dtterm | kterm | Eterm | zterm) + safe_append_prompt_command 'precmd_xterm_title' + safe_append_preexec 'preexec_xterm_title' ;; esac