Add "pull" recipe to update repo files from live ones

diff --git a/Makefile b/Makefile
index 48a2292..0051363 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -9,6 +9,7 @@ DEPS := $(wildcard deps/*)
     deps \
     home \
     diff \
+    pull \
     mpdconf \
     pkgs_brew_cask_install \
     pkgs_brew_install \
@@ -131,6 +132,11 @@ diff:
        | sed -z 's/^home\///g' \
        | xargs -0 -I% sh -c 'echo %; diff --color=always ~/% home/%'
 
+pull:
+       find home -type f -print0 \
+       | sed -z 's/^home\///g' \
+       | xargs -0 -I% sh -c 'diff -q ~/% home/% > /dev/null || cp ~/% home/%'
+
 clean:
        rm -rf ./debfiles
        cd src && make clean