Commit graph

2 commits

Author SHA1 Message Date
Bruno BELANYI 2e927c89e7 [UPDATE][SCRIPT] Use expansion for PROMPT_COMMAND
It seems like the idiomatic way to update $PROMPT_COMMAND is to use
variable expansion to add a semi-colon and a space before the command
we're adding.

I also switched from prepending my commands to appending them, which
allows overriding behaviour, such as terminal titles which could be set
from system files.
2020-12-12 14:12:41 +01:00
Bruno BELANYI 173a0b093c [ADD] Use my own script to display terminal title
The provided 'vte.sh' script  doesn't quite work on Bash because
$HOSTNAME is empty for some reason.
2020-12-12 14:12:41 +01:00