diff options
| -rw-r--r-- | bashrc/dist/gentoo/common.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/bashrc/dist/gentoo/common.sh b/bashrc/dist/gentoo/common.sh deleted file mode 100644 index 03d98ad..0000000 --- a/bashrc/dist/gentoo/common.sh +++ /dev/null @@ -1,9 +0,0 @@ -# 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 |