diff options
| author | Colin Walters <walters@verbum.org> | 2011-02-16 16:50:55 -0500 |
|---|---|---|
| committer | Colin Walters <walters@verbum.org> | 2011-02-16 16:50:55 -0500 |
| commit | cafc91c766edbbe17921b6eba37eeb0febfa1e88 (patch) | |
| tree | b9cce4dee5adb61e93ed7f4673ed8cc4750ad9d8 | |
| parent | bd24bc06e958cca88af7d6799478683ae25cb195 (diff) | |
| download | homegit-MOVED-TO-GNOME-cafc91c766edbbe17921b6eba37eeb0febfa1e88.tar.gz homegit-MOVED-TO-GNOME-cafc91c766edbbe17921b6eba37eeb0febfa1e88.tar.xz homegit-MOVED-TO-GNOME-cafc91c766edbbe17921b6eba37eeb0febfa1e88.zip | |
bashrc: Distinguish between jhbuild and inroot
Only inroot sets INROOT_DIR.
| -rw-r--r-- | dotfiles/bashrc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dotfiles/bashrc b/dotfiles/bashrc index 04e8d39..03b3b69 100644 --- a/dotfiles/bashrc +++ b/dotfiles/bashrc @@ -38,12 +38,12 @@ _format_wd () _format_inroot_dir () { - if test -z "$INROOT_DIR" && test -n "$CERTIFIED_GNOMIE"; then - # sort of a hack... - INROOT_DIR="$MONO_GAC_PREFIX" - fi if test -n "$INROOT_DIR"; then echo " [root=$INROOT_DIR]" + else + if test -n "$CERTIFIED_GNOMIE"; then + echo " [jhbuild=$MONO_GAC_PREFIX]" + fi fi } |