# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1731929744 -3600
# Node ID 3279f71eb0f44a137fdd56ae60aba3c8001959c5
# Parent  3fab5b28027d6917aac7f48ff15ae38256932368
avoid informatik.tu-muenchen.de domain: soon to be discontinued;

diff -r 3fab5b28027d -r 3279f71eb0f4 Admin/build/TUM.toml
--- a/Admin/build/TUM.toml	Sun Nov 17 21:20:26 2024 +0100
+++ b/Admin/build/TUM.toml	Mon Nov 18 12:35:44 2024 +0100
@@ -1,11 +1,11 @@
 # Build cluster resources at TUM
 
 [host.lxbroy10]
-hostname = "lxbroy10.informatik.tu-muenchen.de"
+hostname = "lxbroy10.in.tum.de"
 numa = true
 
 [host.vmnipkow9]
-hostname = "vmnipkow9.informatik.tu-muenchen.de"
+hostname = "vmnipkow9.in.tum.de"
 
 [host.mini1]
 hostname = "131.159.47.71"
diff -r 3fab5b28027d -r 3279f71eb0f4 Admin/etc/options
--- a/Admin/etc/options	Sun Nov 17 21:20:26 2024 +0100
+++ b/Admin/etc/options	Mon Nov 18 12:35:44 2024 +0100
@@ -2,7 +2,7 @@
 
 section "Admin tools"
 
-option isabelle_components_server : string = "lxbroy10.informatik.tu-muenchen.de"
+option isabelle_components_server : string = "lxbroy10.in.tum.de"
   -- "user@host for SSH connection"
 
 option isabelle_components_dir : string = "/p/home/isabelle/components"