diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2016-03-05 17:59:57 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-03-05 17:59:57 -0700 |
| commit | 95e0bba95557c71adf0538d107f961af632e2189 (patch) | |
| tree | d7798b870cf4658432410621a99868988586d1e6 | |
| parent | c1bdbb9ef65dba5f31d5cc4325d9b065a233c84c (diff) | |
| download | dotfiles-95e0bba95557c71adf0538d107f961af632e2189.tar.gz | |
conditionalise making build-area link
| -rw-r--r-- | home-mrconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home-mrconfig b/home-mrconfig index 3ff5166d..78e7fec9 100644 --- a/home-mrconfig +++ b/home-mrconfig @@ -132,7 +132,7 @@ lib = local/lib \ local/pub touch local/big/.duplicity-ignore src/.mrconfig - ln -s -T /tmp/debuild src/build-area + [ ! -L "src/build-area" ] && ln -s -T /tmp/debuild src/build-area ) } # GTK and others insist on replacing the symlink to its bookmarks |