Switch to using the public AWS domain of the build machine

Rather than the configured domain, as the corresponding SSH key
shouldn't change for the AWS domain (whereas it does for the
configured domain, if the machine changes).

1 files changed, 4 insertions, 0 deletions

diff --git a/terraform/aws/backend/main.tf b/terraform/aws/backend/main.tf
index 24dd3d8..c3fcf60 100644
--- a/terraform/aws/backend/main.tf
+++ b/terraform/aws/backend/main.tf
@@ -352,6 +352,10 @@ output "guix_daemon_private_dns" {
   value = "${aws_spot_instance_request.main.private_dns}"
 }
 
+output "guix_daemon_public_dns" {
+  value = "${aws_spot_instance_request.main.public_dns}"
+}
+
 output "efs_file_system_dns_name" {
   value = "${aws_efs_file_system.main.dns_name}"
 }