rename scripts

1 files changed, 0 insertions, 34 deletions

diff --git a/deploy_static b/deploy_static
deleted file mode 100755
index 18571959..00000000
--- a/deploy_static
+++ /dev/null
@@ -1,34 +0,0 @@
-#!/bin/bash
-
-set -o errexit -o nounset -o pipefail
-
-./validate_static
-./process_static
-
-remote=root@grapheneos.org
-active=$(ssh $remote readlink /srv/grapheneos.org)
-
-if [[ $active = /srv/grapheneos.org_a ]]; then
-    target=/srv/grapheneos.org_b
-else
-    target=/srv/grapheneos.org_a
-fi
-
-echo active is $active
-echo target is $target
-echo
-
-ssh $remote rm -rf $target
-ssh $remote cp -a $active $target
-rsync -rpcv --chmod=D755,F644 --delete static_tmp/ $remote:$target
-ssh $remote sync -f $target
-ssh $remote ln -snf $target /srv/grapheneos.org
-ssh $remote sync .
-
-sed -i "s|/srv/grapheneos.org|$target|" nginx.conf.tmp
-rsync -rpcv --chmod=D755,F644 --delete nginx.conf.tmp $remote:/etc/nginx/nginx.conf
-ssh $remote sync -f /etc/nginx/nginx.conf
-ssh $remote nginx -s reload
-
-echo
-echo active is now $target