From fe8f8748dfe51f6a2efd3b3e63c98a92b6a1762f Mon Sep 17 00:00:00 2001
From: Udo Waechter <udo@maketank.net>
Date: Mon, 10 Feb 2025 17:33:14 +0100
Subject: [PATCH] more hosts @wks

---
 bin/hosts.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/hosts.conf b/bin/hosts.conf
index dc19c38..a5eddc8 100644
--- a/bin/hosts.conf
+++ b/bin/hosts.conf
@@ -1,2 +1,2 @@
-hosts="pine01.wks pine02.wks pine03.wks pine04.wks pine05.wks adm01.wks ebin01.wks ebin02.wks"
+hosts="adm01.wks pine01.wks pine02.wks pine03.wks pine04.wks pine05.wks ebin01.wks ebin02.wks drucki.wks switch_cloud.wks drucki_switch.wks"
 domain="wks"