From d9eb4a68e940c752d128a86f371abb4d5bc27428 Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Sun, 23 Nov 2025 15:31:24 -0700
Subject: [PATCH] Nevermind private network addresses in the =facts= file.

And nevermind more than three question marks (now appearing in a
script) unless in a comment in the README.org files.
---
 publish | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/publish b/publish
index 80bda70..598bff0 100755
--- 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
-- 
2.25.1