Add scripts

2022-08-02 20:52:18 +03:00
commit 1fae327026
3 changed files with 12 additions and 0 deletions
@@ -0,0 +1 @@
+/www/schemeorg.css
@@ -0,0 +1,5 @@
+#!/bin/sh
+set -eu
+cd "$(dirname "$0")"/..
+curl --location --fail --silent --show-error -o www/schemeorg.css \
+    https://www.scheme.org/schemeorg.css
@@ -0,0 +1,6 @@
+#!/bin/sh
+set -eu
+cd "$(dirname "$0")"/..
+set -x
+# Do not use --delete since subdirectories come from other git repos.
+rsync -vcr www/ alpha.servers.scheme.org:/production/conservatory/www/