./publish: Check for private network addresses.

The private addresses are provided by shell variables in a
../private/vars.sh file (not included).

diff --git a/publish b/publish
index 7b4f76ebd81642dde6d352048857831c1fcf7f89..a3e1010bf19473725eebd18d699257278513527d 100755 (executable)
--- a/publish
+++ b/publish
@@ -2,13 +2,20 @@
 #
 # ./publish [-f]
 
+. ../private/vars.sh
 cd ~/Network/Abbey/
 
 errs=0
 
-if ! grep -HnE '^[#*].*TODO|\?\?\?' Institute/README.org
+if ! grep -HnEr $PUBLIC_VPN_NET
+then errs=$(( $errs + 1 )); fi
+if ! grep -HnEr $CAMPUS_VPN_NET
+then errs=$(( $errs + 1 )); fi
+if ! grep -HnEr $GATE_WIFI_NET
 then errs=$(( $errs + 1 )); fi
 
+if ! grep -HnE '^[#*].*TODO|\?\?\?' Institute/README.org
+then errs=$(( $errs + 1 )); fi
 if ! grep -HnE '^[*#].*TODO|\?\?\?' README.org
 then errs=$(( $errs + 1 )); fi