From: Matt Birkholz Date: Sun, 23 Nov 2025 22:31:24 +0000 (-0700) Subject: Nevermind private network addresses in the =facts= file. X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=d9eb4a68e940c752d128a86f371abb4d5bc27428;p=Network.git 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. --- 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