diff options
Diffstat (limited to 'bashrc/common/screen.sh')
| -rw-r--r-- | bashrc/common/screen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bashrc/common/screen.sh b/bashrc/common/screen.sh index 28a4ef7..402d774 100644 --- a/bashrc/common/screen.sh +++ b/bashrc/common/screen.sh @@ -2,7 +2,7 @@ set_screen_title() { # prevent reset_screen_title from calling set_screen_title - if [[ $BASH_COMMAND != "__make_propt" ]]; then + if [[ $BASH_COMMAND != "__make_prompt" ]]; then echo -ne "\ek$(id -un)@$(hostname):${BASH_COMMAND/ *}\e\\" fi } |