Fixing a deployment bug.

Deployment to s3 only worked if your deployment region matched the
default set in `~/.aws/config`. That's now fixed.

deployment/default.nix

@@ -56,10 +56,12 @@ let
         plutus_playground_lambda_file="${plutus-playground-lambda}/plutus-playground-lambda.zip"'';
     };
 
-  syncS3 = env:
+  syncS3 = env: region:
     writeShellScript "syncs3" ''
       set -eou pipefail
 
+      export AWS_REGION=${region}
+
       echo "sync with S3"
       ${plutus.thorp}/bin/thorp -b marlowe-playground-website-${env} -s ${static.marlowe}
       ${plutus.thorp}/bin/thorp -b plutus-playground-website-${env} -s ${static.plutus}
@@ -115,7 +117,7 @@ let
       set -eou pipefail
 
       ${applyTerraform env region}
-      ${syncS3 env}
+      ${syncS3 env region}
       echo "done"
     '';
 
@@ -149,7 +151,7 @@ let
 
   mkEnv = env: region: {
     inherit terraform-vars terraform-locals terraform;
-    syncS3 = (syncS3 env);
+    syncS3 = (syncS3 env region);
     applyTerraform = (applyTerraform env region);
     deploy = (deploy env region);
     destroy = (destroy env region);