diff --git a/plugins/available/xterm.plugin.bash b/plugins/available/xterm.plugin.bash index c5fe9009..4f4fd50d 100644 --- a/plugins/available/xterm.plugin.bash +++ b/plugins/available/xterm.plugin.bash @@ -2,26 +2,26 @@ cite about-plugin about-plugin 'automatically set your xterm title with host and location info' -_short-dirname() { +_short-dirname() { local dir_name=$(dirs +0) [ "$SHORT_TERM_LINE" = true ] && [ "${#dir_name}" -gt 8 ] && echo "${dir_name##*/}" || echo "${dir_name}" } -_short-command() { +_short-command() { local input_command="$*" [ "$SHORT_TERM_LINE" = true ] && [ "${#input_command}" -gt 8 ] && echo "${input_command%% *}" || echo "${input_command}" } -set_xterm_title() { +set_xterm_title() { local title="$1" echo -ne "\033]0;$title\007" } -precmd_xterm_title() { +precmd_xterm_title() { set_xterm_title "${SHORT_USER:-${USER}}@${SHORT_HOSTNAME:-${HOSTNAME}} $(_short-dirname) $PROMPT_CHAR" } -preexec_xterm_title() { +preexec_xterm_title() { set_xterm_title "$(_short-command "${1}") {$(_short-dirname)} (${SHORT_USER:-${USER}}@${SHORT_HOSTNAME:-${HOSTNAME}})" }