path: root/bashrc/dist/gentoo/common.sh

# NASTY HACK: somehow emerge tinkers with the environment and
# reset_screen_title is not available anymore, so we disable it before running
# emerge, and initialize it again afterwards
emerge() {
    local PROMPT_COMMAND=true
    /usr/bin/emerge "$@"
}

_load dist portdir