]> git.plutz.net Git - shellwiki/commitdiff
remove debug info
authorPaul Hänsch <paul@plutz.net>
Tue, 17 May 2022 12:14:00 +0000 (14:14 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 17 May 2022 12:14:00 +0000 (14:14 +0200)
tools.sh

index f0c153848bd29b8228970b36d0864e49abcc65d3..926c7e4e3bdf51ed763aa55b862dd25d53bdabfb 100644 (file)
--- a/tools.sh
+++ b/tools.sh
@@ -50,8 +50,6 @@ page_children(){
   local page="${1%/}/" depth="${2:--1}"
   local glob pagedir IFS=''
 
-  debug "CHILDREN $page $depth"
-
   [ "$depth" -eq 0 ] && return 0
   printf %s\\n "$page"
 
@@ -65,7 +63,6 @@ page_children(){
     for glob in "$_EXEC/pages/$PATH_INFO/${page}"*/; do printf '%s\n' "${glob#"$_EXEC/pages/$PATH_INFO/"}"; done
     ;;
   esac \
-  | debug \
   | sort -u \
   | while read -r page; do
     case $page in