From ee87e724af8caef8db7003cb0179044d7bccbb80 Mon Sep 17 00:00:00 2001 From: Lassi Kortela Date: Wed, 3 Aug 2022 23:14:51 +0300 Subject: [PATCH] Add scripts --- scripts/build.sh | 5 +++++ scripts/upload.sh | 6 ++++++ 2 files changed, 11 insertions(+) create mode 100755 scripts/build.sh create mode 100755 scripts/upload.sh diff --git a/scripts/build.sh b/scripts/build.sh new file mode 100755 index 0000000..3b98232 --- /dev/null +++ b/scripts/build.sh @@ -0,0 +1,5 @@ +#!/bin/sh +set -eu +cd "$(dirname "$0")"/.. +set -x +pandoc -o www/index.html README.md diff --git a/scripts/upload.sh b/scripts/upload.sh new file mode 100755 index 0000000..178494e --- /dev/null +++ b/scripts/upload.sh @@ -0,0 +1,6 @@ +#!/bin/sh +set -eu +cd "$(dirname "$0")"/.. +set -x +scripts/build.sh +rsync -vcr --delete www/ alpha.servers.scheme.org:/production/groups/www/prescheme/