From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Sun, 12 Apr 2020 03:03:11 +0000 (-0400)
Subject: Add "pull" recipe to update repo files from live ones
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=8132c0e45e6831d7cc0ebe58c5eb89b6a9c81ff2;p=khome.git

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

diff --git a/Makefile b/Makefile
index 48a2292..0051363 100644
--- 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