aboutsummaryrefslogtreecommitdiff
path: root/tw/system/cern.scm
diff options
context:
space:
mode:
authorTimo Wilken2023-02-22 11:27:14 +0100
committerTimo Wilken2023-03-04 19:23:26 +0100
commit10a57d33d08d2c71518d70ab3d3f3b6303d9a4b2 (patch)
tree0b0f537d661f642e234acdb7eff1e2140e935271 /tw/system/cern.scm
parentc609ea215989fe2bbf87552c543a317f26fe6a49 (diff)
Fix SSH setup for CERN
Diffstat (limited to 'tw/system/cern.scm')
-rw-r--r--tw/system/cern.scm5
1 files changed, 5 insertions, 0 deletions
diff --git a/tw/system/cern.scm b/tw/system/cern.scm
index 76cae0bf..31122abc 100644
--- a/tw/system/cern.scm
+++ b/tw/system/cern.scm
@@ -207,6 +207,11 @@
(string-append #$(file-append util-linux "/sbin/fstrim")
" --fstab --verbose"))))
+ (simple-service 'arm-builders hosts-service-type
+ (list (host "188.184.68.217" "arm-builder-1")
+ (host "188.184.71.187" "arm-builder-2")
+ (host "188.184.69.33" "arm-builder-3")))
+
(service openssh-service-type
(openssh-configuration
(port-number 22022)