mirror of
https://github.com/PDP-10/its.git
synced 2026-01-23 19:07:45 +00:00
db199cb313
To manage deploy secrets in GitHub, go to the repository page, click Settings, then Environments, then Deploy, then scroll down to Environment secrets.
31 lines
456 B
Bash
31 lines
456 B
Bash
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
HOST="hactrn.kostersitz.com"
|
|
USER="hactrn@kostersitz.com"
|
|
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
|