deploy.sh

#!/usr/bin/env bash

set -o errexit
set -o nounset

umask 0077

SFTP_USER="satzung-cd"
HOST="teri.fsi.uni-tuebingen.de"
TARGET_DIRECTORY="www"
KNOWN_HOSTS="
dGVyaS5mc2kudW5pLXR1ZWJpbmdlbi5kZSBzc2gtcnNhIEFBQUFCM056YUMxeWMyRUFBQUFEQVFB\
QkFBQUJBUUR2Zi9ZWExUOGUrT0ZKUGlDbEJoZnlsQ2NhQmsvTGR0YkFETm5YZk5Hczd0R2UxWVZU\
bjNsUysvdVhEQXBScWQ4Tk9WY203ekU0UFRGZEFOZU5PME9NZ09paFNOSHluZWoyTisrRC9TUURx\
blFSajZTNVJIUnhmenJEYU1SNzBlbFFDMmdYQmdlZTduNGxqZDVIdSs2eHNHdWgrTjJOTVZSMENN\
L2QvNWFLWE1iZVlZNmNFODBxYWlrb3ArN25JWDhaMzZraDFBMTRZbnBKQ3FzSTE4NmxaSEhEcGtz\
Qm1JOVZ5ejJVYXJ2S1Fqbkk4aGZqaTUrRTlvTUNQaUlMN2hwK1lyQ3hMVHAzWUlnT2JnejFNNXhx\
ZkRHbDFnNUVpaWNoNlVubVkvZHA2dE9YSUJERXlsSG5IR3pQNHFaWHkzcTZwTlcySHAwb3hteVk2\
YXlkTXlmbgo="

mkdir -p ~/.ssh
echo ${KNOWN_HOSTS} | base64 -d >> ~/.ssh/known_hosts
echo "${SSH_KEY}" | base64 -d >> /tmp/id_rsa
cat <<EOF > build-information
Commit: $TRAVIS_COMMIT
Source date: $(date --date=@$(git log -1 --pretty=%ct) +%F)
Build date: $(date --utc +'%F')
Nixpkgs commit: $(cat ~/.nix-defexpr/channels/nixpkgs/.git-revision)
EOF
cat <<EOF > sftp-commands
put result/satzung.pdf
put build-information
chmod 644 satzung.pdf
chmod 644 build-information
EOF
sftp -i /tmp/id_rsa -b sftp-commands "${SFTP_USER}@${HOST}:${TARGET_DIRECTORY}"
rm /tmp/id_rsa