diff options
Diffstat (limited to 'dotfiles/bashrc')
-rw-r--r-- | dotfiles/bashrc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dotfiles/bashrc b/dotfiles/bashrc index 09add68..a9ab53c 100644 --- a/dotfiles/bashrc +++ b/dotfiles/bashrc @@ -18,6 +18,10 @@ export EDITOR _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]" fi |