]> git.plutz.net Git - shellwiki/commitdiff
omit empty parent pages from page listing
authorPaul Hänsch <paul@plutz.net>
Sun, 7 Apr 2024 14:34:59 +0000 (16:34 +0200)
committerPaul Hänsch <paul@plutz.net>
Sun, 7 Apr 2024 14:34:59 +0000 (16:34 +0200)
macros/changes

index 54f4782cf0bc0fc895b21578f9c4a3c5f03b12e5..c399ee58f6393535e77768d68203336badbb689f 100755 (executable)
@@ -45,6 +45,7 @@ done \
 | while read page; do
   page_abs="$(page_abs "$page")"
   acl_read "${page_abs}" || continue
+  mdfile "${page_abs}" >&- || continue
 
   read ostamp odate <<-EOF
        $([ "$REV_PAGES" = true ] \