diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2015-04-05 11:38:18 +0900 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2015-04-05 11:38:18 +0900 |
commit | 17e6b2ab477033726ce1f8cdaf300531df776b60 (patch) | |
tree | ebeb734479573abcc85f2c8fb06e58044f602617 | |
parent | 8eaae90d52bcace86295e1c56794b4c082339ea2 (diff) | |
download | dotfiles-17e6b2ab477033726ce1f8cdaf300531df776b60.tar.gz |
srem to be checked out explicitly
-rw-r--r-- | home-mrconfig | 1 |
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 |