Website/scripts/push_files.sh

11 lines
409 B
Bash
Raw Normal View History

2024-10-14 14:12:40 +02:00
#!/bin/bash
# DO NOT RUN THIS MANUALLY. PUSH TO RELEASE INSTEAD. ( <- unless there is an emergency.)
echo "$SSH_PRIVATEKEY" > ssh_key
chmod 700 ssh_key
2024-10-14 17:06:21 +02:00
scp -o StrictHostKeyChecking=no -i ssh_key -P "$BB_PORT" *.html *.spl *.css *.png *.ttf lorem-ipsum "root@$BB_HOST:$BB_PATH" &&
2024-10-14 14:12:40 +02:00
(ssh -o StrictHostKeyChecking=no -i ssh_key -p "$BB_PORT" "root@$BB_HOST" "cd $BB_PATH && bash reload.sh" || true)
rm ssh_key