Add a list of static switches (ie. non-Zyxels).

diff --git a/make-all-config.sh b/make-all-config.sh
index 7c46a1991a9b98b3c09fa2006e7167d10eb6db0d..51fd2142dd00303e7f7996162a21e51e0a66524b 100755 (executable)
--- a/make-all-config.sh
+++ b/make-all-config.sh
@@ -1,5 +1,6 @@
 #! /bin/sh
 ./planning/planning
+cat static-switches.txt >> switches.txt
 ./config/make-dhcpd.pl > /etc/dhcp3/dhcpd.conf
 ./config/make-named.pl > /etc/bind/named.conf
 ./config/make-missing-zones.pl

diff --git a/static-switches.txt b/static-switches.txt
new file mode 100644 (file)
index 0000000..ad7f5bc
--- /dev/null
+++ b/static-switches.txt
@@ -0,0 +1,17 @@
+87.76.120.0 24 crew
+87.76.200.0 24 vision
+87.76.202.0 24 sponsor-vision
+87.76.204.0 24 sponsor-tribune
+87.76.205.0 24 infodesk-inngang
+87.76.206.0 24 crewcare
+87.76.207.0 24 auditorium
+87.76.208.0 24 billettbu
+87.76.209.0 24 infodesk
+87.76.210.0 24 game-server
+87.76.212.0 24 game-client
+87.76.213.0 24 logistics
+87.76.215.0 24 security
+87.76.216.0 24 medic
+87.76.222.0 24 democrew
+87.76.250.0 24 noc
+87.76.252.0 24 presse