# 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