diff options
-rw-r--r-- | bashrc | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -141,11 +141,13 @@ tell_about_exit_code() { fi } -export PROMPT_COMMAND=prompt_command +prompt_set_window_title() { + set_window_title "$(define_window_title)" +} prompt_command() { tell_about_exit_code "$?" PS1="$(define_ps1)" - set_window_title "$(define_window_title)" + prompt_set_window_title } ############### @@ -203,3 +205,9 @@ if [ -e "$HOME/.cargo/env" ] then . "$HOME/.cargo/env" fi + +if [ -n "$PROMPT_COMMNAD" ];then + export PROMPT_COMMAND=prompt_set_window_title +else + export PROMPT_COMMAND="$PROMPT_COMMAND;prompt_set_window_title" +fi |