diff options
Diffstat (limited to 'bashrc/common')
| -rw-r--r-- | bashrc/common/screen.sh | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/bashrc/common/screen.sh b/bashrc/common/screen.sh index 734ccfb..28a4ef7 100644 --- a/bashrc/common/screen.sh +++ b/bashrc/common/screen.sh @@ -2,18 +2,13 @@ set_screen_title() { # prevent reset_screen_title from calling set_screen_title - if [[ $BASH_COMMAND != "reset_screen_title" ]]; then + if [[ $BASH_COMMAND != "__make_propt" ]]; 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 } |