Deploy images to kostersitz.com.

To manage deploy secrets in GitHub, go to the repository page, click
Settings, then Environments, then Deploy, then scroll down to
Environment secrets.

.github/workflows/build.yml

@@ -28,4 +28,6 @@ jobs:
  if: github.ref == 'refs/heads/master'
  env:
  SECRET: ${{secrets.SECRET}}
+ FTP_SECRET: ${{secrets.FTP_SECRET}}
  EMULATOR: ${{matrix.emulator}}
+ run: sh build/deploy-ftp.sh

Makefile

@@ -25,7 +25,7 @@ MCHN ?= DB
 endif
 endif
 
-IMAGES=http://hactrn.org/images/
+IMAGES=http://hactrn.kostersitz.com/
 
 include conf/network
 

build/deploy-ftp.sh

@@ -0,0 +1,30 @@
+#!/bin/sh
+
+set -e
+
+HOST="hactrn.kostersitz.com"
+USER="[email protected]"
+DIR="images"
+NETRC="$HOME/.netrc"
+
+if test -z "$FTP_SECRET"; then
+ echo 'ERROR: No password in $FTP_SECRET.'
+ exit 1
+fi
+
+echo "machine $HOST" > "$NETRC"
+echo "login $USER" >> "$NETRC"
+echo "password $FTP_SECRET" >> "$NETRC"
+chmod 600 "$NETRC"
+
+echo "Deploying to $USER@$HOST"
+
+ftp "$HOST" <<EOF
+type image
+cd $DIR
+lcd out
+put $EMULATOR.tgz
+bye
+EOF
+
+exit 0