diff options
| author | Colin Walters <walters@verbum.org> | 2010-07-22 17:23:40 -0400 |
|---|---|---|
| committer | Colin Walters <walters@verbum.org> | 2010-07-22 17:24:17 -0400 |
| commit | 6c381c1a8df6f82c72aa27c3548afa2efb175236 (patch) | |
| tree | f15861edbd58fdc1b04be1968d13b9c78e85a674 /dotfiles | |
| parent | 2c37bec24e2582f93c82f2aa224fd3cc245ed93c (diff) | |
| download | homegit-MOVED-TO-GNOME-6c381c1a8df6f82c72aa27c3548afa2efb175236.tar.gz homegit-MOVED-TO-GNOME-6c381c1a8df6f82c72aa27c3548afa2efb175236.tar.xz homegit-MOVED-TO-GNOME-6c381c1a8df6f82c72aa27c3548afa2efb175236.zip | |
Treat jhbuild as inroot
Diffstat (limited to 'dotfiles')
| -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 |