diff options
-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 } |