publist

commit d1bb3026c1a67c51ff42c7b009b2feb184683fbf
parent cfda206bd2d414827a9e710e12ae4c241c583eca
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu,  2 Feb 2023 17:16:39 +0100

deploy

Diffstat:
deploy.sh
 | 
9
++++++++-

1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/deploy.sh b/deploy.sh
@@ -1,8 +1,15 @@
 #!/bin/bash
 
-touch current_rev
+cd "$HOME/site/publist"
+git pull
+
+if [ ! -f current_rev ]
+  echo x > current_rev
+fi
+
 OLDREV=$(cat current_rev)
 CURREV=$(git rev-parse HEAD)
+
 if [ $OLDREV != $CURREV ]
 then
   ./make.sh latex