path: root/bashrc/common/screen.sh

# screen shelltitle magic

set_screen_title() {
    # prevent reset_screen_title from calling set_screen_title
    if [[ $BASH_COMMAND != "__make_propt" ]]; then
	echo -ne "\ek$(id -un)@$(hostname):${BASH_COMMAND/ *}\e\\"
    fi
}

init_preexec_hack() {
    if [[ $TERM == "screen" ]]; then
	trap set_screen_title DEBUG
    fi
}