X-Git-Url: https://git.phdru.name/?p=phdru.name%2Fphdru.name.git;a=blobdiff_plain;f=update;h=495c55938fe037063d39eea7f59e13dcde49929d;hp=9d996d81a2ac9d24abfe235dc88c7097d8abf1a9;hb=d25d749d6c737395c9076c2061c8088fedeb80bf;hpb=fce673d158fab479a6c1f8819b1af495ec7a1932

diff --git a/update b/update
index 9d996d8..495c559 100755
--- a/update
+++ b/update
@@ -1,8 +1,5 @@
 #! /bin/sh
 
-current="`git config --get remote.current.url`" &&
+"$HOME"/admin/prog/git-scripts/update || exit 1
 
-git pull --ff-only current master && git push web &&
-
-cd "$current" &&
-exec git pull origin
+exec compyleall