tvl-depot/ops/glesys/dns-tvix-dev.tf
Florian Klink f3faeae52a feat(ops/glesys): add bolt.tvix.dev
Make tvixbolt.tvl.su just serve a redirect to the new domain, and fold
everything into the tvix.dev.nix module.

Change-Id: I3a9ccf37d2ceee8886208d6f662e7598ce395b1a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11015
Reviewed-by: lukegb <lukegb@tvl.fyi>
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
2024-02-23 18:44:18 +00:00

54 lines
1.2 KiB
HCL

# DNS configuration for tvix.dev
resource "glesys_dnsdomain" "tvix_dev" {
name = "tvix.dev"
}
resource "glesys_dnsdomain_record" "tvix_dev_apex_A" {
domain = glesys_dnsdomain.tvix_dev.id
host = "@"
type = "A"
data = var.whitby_ipv4
}
resource "glesys_dnsdomain_record" "tvix_dev_apex_AAAA" {
domain = glesys_dnsdomain.tvix_dev.id
host = "@"
type = "AAAA"
data = var.whitby_ipv6
}
resource "glesys_dnsdomain_record" "tvix_dev_bolt_CNAME" {
domain = glesys_dnsdomain.tvix_dev.id
host = "bolt"
type = "CNAME"
data = "whitby.tvl.su."
}
resource "glesys_dnsdomain_record" "tvix_dev_docs_CNAME" {
domain = glesys_dnsdomain.tvix_dev.id
host = "docs"
type = "CNAME"
data = "whitby.tvl.fyi."
}
resource "glesys_dnsdomain_record" "tvix_dev_NS1" {
domain = glesys_dnsdomain.tvix_dev.id
host = "@"
type = "NS"
data = "ns1.namesystem.se."
}
resource "glesys_dnsdomain_record" "tvix_dev_NS2" {
domain = glesys_dnsdomain.tvix_dev.id
host = "@"
type = "NS"
data = "ns2.namesystem.se."
}
resource "glesys_dnsdomain_record" "tvix_dev_NS3" {
domain = glesys_dnsdomain.tvix_dev.id
host = "@"
type = "NS"
data = "ns3.namesystem.se."
}