blob: 402d774f5dcdd3ab2834e995f459067e65922b70 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# screen shelltitle magic
set_screen_title() {
# prevent reset_screen_title from calling set_screen_title
if [[ $BASH_COMMAND != "__make_prompt" ]]; then
echo -ne "\ek$(id -un)@$(hostname):${BASH_COMMAND/ *}\e\\"
fi
}
init_preexec_hack() {
if [[ $TERM == "screen" ]]; then
trap set_screen_title DEBUG
fi
}
|
