From ae011f80c7e85d23edc185876e3d026704221454 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Fri, 21 Mar 2025 15:46:56 -0400 Subject: Switch from simatime.com to bensima.com This does the full transition: web server, mail server, xmpp. I expect some disruption, but hopefully this is everything and it just switches over without any problem. --- Omni/Bild.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Omni/Bild.hs') diff --git a/Omni/Bild.hs b/Omni/Bild.hs index 9c649a7..967d143 100755 --- a/Omni/Bild.hs +++ b/Omni/Bild.hs @@ -662,7 +662,7 @@ analyze hmap ns = case Map.lookup ns hmap of .. } Namespace.Nix -> - (host == "lithium") ?: (Local user "lithium", Remote user "dev.simatime.com") |> \builder -> + (host == "lithium") ?: (Local user "lithium", Remote user "dev.bensima.com") |> \builder -> Target { langdeps = Set.empty, wrapper = Nothing, -- cgit v1.2.3