Add arm-ubc-04.debian.org
authorAurelien Jarno <aurelien@aurel32.net>
Mon, 10 Jun 2019 19:23:24 +0000 (21:23 +0200)
committerAurelien Jarno <aurelien@aurel32.net>
Mon, 10 Jun 2019 19:23:24 +0000 (21:23 +0200)
modules/debian_org/files/misc/local.yaml
modules/grub/templates/puppet-kernel-serial.cfg.erb

index ad62ffa..d6d22f5 100644 (file)
@@ -153,6 +153,7 @@ host_settings:
     - arm-ubc-01.debian.org
     - arm-ubc-02.debian.org
     - arm-ubc-03.debian.org
+    - arm-ubc-04.debian.org
     - arnold.debian.org
     - eberlin.debian.org
     - hartmann.debian.org
index 5fc1fee..ad9a23e 100644 (file)
@@ -1,4 +1,4 @@
-<%- if %w{amdahl arm-conova-01 arm-conova-02 arm-arm-01 arm-ubc-01 arm-ubc-02 arm-ubc-03}.include?(@hostname) then -%>
+<%- if %w{amdahl arm-conova-01 arm-conova-02 arm-arm-01 arm-ubc-01 arm-ubc-02 arm-ubc-03 arm-ubc-04}.include?(@hostname) then -%>
 GRUB_CMDLINE_LINUX="$GRUB_CMDLINE_LINUX console=ttyAMA0,115200n8"
 <%- elsif %w{arm-arm-03}.include?(@hostname) then -%>
 GRUB_CMDLINE_LINUX="$GRUB_CMDLINE_LINUX console=ttyS0,115200"