use bash script to deploy

.gitignore

@@ -3,3 +3,4 @@
 !**/*.json
 !**/*.gitignore
 !*/
+!push

push

@@ -0,0 +1,22 @@
+#!/bin/bash
+
+SRC="public"
+ZIP="ps.zip"
+
+echo "snap $SRC > $ZIP ..."
+cd $SRC
+rm $ZIP
+zip -r -9 $ZIP ./
+cd ../
+
+echo "update repository ..."
+git pull
+git add .
+git commit -m "$(date +%s)"
+git push
+
+echo "update remote host (localnet) ..."
+rclone sync $SRC localnet: --update -v
+
+echo "update remote host (yesterweb) ..."
+rclone sync $SRC yesterweb: --update --no-check-certificate -v

webdav.json

@@ -1,12 +0,0 @@
-{
-    "/public": {
-        "url": "https://ps.cities.yesterweb.org:1994/",
-        "ignoreSSLErrors": true,
-        "uploadOnSave": {
-            "enabled": true,
-            "pattern": [
-                ".gmi$"
-            ]
-        }
-    }
-}