Sfoglia il codice sorgente

shrc: Fix how the terminal title is set

On some systems terminal title is set by default by PROMPT_COMMAND,
so add my setting at the last of it.
pull/15/head
10sr 9 anni fa
parent
commit
6f43f8f757
1 ha cambiato i file con 6 aggiunte e 1 eliminazioni
  1. +6
    -1
      shrc

+ 6
- 1
shrc Vedi File

@@ -1269,6 +1269,11 @@ then
eval __my_set_title ${__terminal_title}
}
else
PROMPT_COMMAND="laststatus=\$?;__my_set_title \"${__terminal_title}\";$PROMPT_COMMAND"
if test -n "$PROMPT_COMMAND"
then
PROMPT_COMMAND="laststatus=\$?;$PROMPT_COMMAND;__my_set_title \"${__terminal_title}\""
else
PROMPT_COMMAND="laststatus=\$?;__my_set_title \"${__terminal_title}\""
fi
fi
laststatus=0

Caricamento…
Annulla
Salva