Nevermind private network addresses in the =facts= file.
authorMatt Birkholz <matt@birchwood-abbey.net>
Sun, 23 Nov 2025 22:31:24 +0000 (15:31 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Sun, 23 Nov 2025 22:31:24 +0000 (15:31 -0700)
And nevermind more than three question marks (now appearing in a
script) unless in a comment in the README.org files.

publish

diff --git a/publish b/publish
index 80bda70d533ad625f6055971633d565d04c8b668..598bff0fb43c1f637850ae534ebee1628d486545 100755 (executable)
--- a/publish
+++ b/publish
@@ -7,16 +7,16 @@ cd ~/Network/Abbey/
 
 errs=0
 
-if ! grep -HnEr $WILD_NET
+if ! grep -HnEr --exclude facts $WILD_NET
 then errs=$(( $errs + 1 )); fi
-if ! grep -HnEr $PUBLIC_VPN_NET
+if ! grep -HnEr --exclude facts $PUBLIC_VPN_NET
 then errs=$(( $errs + 1 )); fi
-if ! grep -HnEr $CAMPUS_VPN_NET
+if ! grep -HnEr --exclude facts $CAMPUS_VPN_NET
 then errs=$(( $errs + 1 )); fi
 
-if ! grep -HnE '^[#*].*TODO|\?\?\?' Institute/README.org
+if ! grep -HnE '^[#*].*(TODO|\?\?\?)' Institute/README.org
 then errs=$(( $errs + 1 )); fi
-if ! grep -HnE '^[*#].*TODO|\?\?\?' README.org
+if ! grep -HnE '^[*#].*(TODO|\?\?\?)' README.org
 then errs=$(( $errs + 1 )); fi
 
 if [ $errs != 0 ]; then echo ""; fi