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_prompt" ]]; then
       _hostname=$(hostname)
       echo -ne "\ek$(id -un)@${_hostname%%\.*}:${BASH_COMMAND/ *}\e\\"
    fi
}

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