diff options
Diffstat (limited to 'deploy_static')
| -rwxr-xr-x | deploy_static | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/deploy_static b/deploy_static index 0e158c3d..431cb4b5 100755 --- a/deploy_static +++ b/deploy_static @@ -5,6 +5,8 @@ set -o errexit remote=www-data@grapheneos.org active=$(ssh $remote readlink html) +validatornu --Werror --skip-non-html static + if [[ $active = html_a ]]; then target=html_b else |