XorA
/
bash-it
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

plugins: xterm: Fix shfmt complaints

pull/1776/head
Noah Gorny 2021-01-23 22:47:15 +02:00
parent 29855ed1e6
commit 046e528cc2
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
plugins/available/xterm.plugin.bash
View File

@ -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}})"
}