diff options
Diffstat (limited to 'bashrc')
| -rw-r--r-- | bashrc/common/screen.sh | 19 | ||||
| -rw-r--r-- | bashrc/main.sh | 6 |
2 files changed, 25 insertions, 0 deletions
diff --git a/bashrc/common/screen.sh b/bashrc/common/screen.sh new file mode 100644 index 0000000..734ccfb --- /dev/null +++ b/bashrc/common/screen.sh @@ -0,0 +1,19 @@ +# screen shelltitle magic + +set_screen_title() { + # prevent reset_screen_title from calling set_screen_title + if [[ $BASH_COMMAND != "reset_screen_title" ]]; then + echo -ne "\ek$(id -un)@$(hostname):${BASH_COMMAND/ *}\e\\" + fi +} + +reset_screen_title() { + echo -ne "\ek$(id -un)@$(hostname)\e\\" +} + +init_preexec_hack() { + if [[ $TERM == "screen" ]]; then + export PROMPT_COMMAND=reset_screen_title + trap set_screen_title DEBUG + fi +} diff --git a/bashrc/main.sh b/bashrc/main.sh index aa1c10c..ad922d4 100644 --- a/bashrc/main.sh +++ b/bashrc/main.sh @@ -102,6 +102,9 @@ _load common dircolors # command prompt #_load common prompt +# screen shelltitle magic +_load common screen + # bash completion _load common bashcomp @@ -110,3 +113,6 @@ _load dist common # load distribution specific node settings _load node ${_DISTNAME} + +# initialize preexec hack last +init_preexec_hack |