summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2015-04-05 11:38:18 +0900
committerSean Whitton <spwhitton@spwhitton.name>2015-04-05 11:38:18 +0900
commit17e6b2ab477033726ce1f8cdaf300531df776b60 (patch)
treeebeb734479573abcc85f2c8fb06e58044f602617
parent8eaae90d52bcace86295e1c56794b4c082339ea2 (diff)
downloaddotfiles-17e6b2ab477033726ce1f8cdaf300531df776b60.tar.gz
srem to be checked out explicitly
-rw-r--r--home-mrconfig1
1 files changed, 1 insertions, 0 deletions
diff --git a/home-mrconfig b/home-mrconfig
index 523a2806..0d354be2 100644
--- a/home-mrconfig
+++ b/home-mrconfig
@@ -325,6 +325,7 @@ fixups = :
[src/srem]
checkout = git clone github:spwhitton/dotfiles.git dotfiles
post_checkout = ln -s $HOME/src/srem/dist/build/srem/srem $HOME/local/bin/srem
+skip = lazy
# --- my personal documents, website and blog. Override my global
# --- update command back to the myrepos default so that git