gemini.git

going-flying.com gemini git repository

summary

tree

log

refs

c68965cdd5dc01f1e020b498098dd807e46cc734 - Matthew Ernisse - 1595803883

update deploy script

view tree

view raw

diff --git a/files/deploy b/files/deploy
index 454270f..3d62e3b 100755
--- a/files/deploy
+++ b/files/deploy
@@ -68,7 +68,8 @@ echo "updating $BUILD_DIR"
 GIT_WORK_TREE=$BUILD_DIR git checkout -f
 
 echo "setting rev to $REV"
-sed -e "s/GIT_REV/${REV}/" "$BUILD_DIR/index.gmi" > "$BUILD_DIR/index.gmi.new"
-mv $BUILD_DIR/index.gmi.new $BUILD_DIR/index.gmi
+sed -e "s/GIT_REV/${REV}/" "$BUILD_DIR/how-built.gmi" > \
+	"$BUILD_DIR/how-built.gmi.new"
+mv $BUILD_DIR/how-built.gmi.new $BUILD_DIR/how-built.gmi
 
 echo "site deployed."