From: Paul Hänsch <paul@plutz.net>
Date: Sat, 23 Sep 2023 21:35:53 +0000 (+0200)
Subject: type for verbose logging
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;ds=sidebyside;h=59aafbc74070956a8651977ed81057ee6982c712;p=shellwiki

type for verbose logging
---

diff --git a/searchindex.sh b/searchindex.sh
index af120f6..5e80014 100755
--- a/searchindex.sh
+++ b/searchindex.sh
@@ -134,7 +134,7 @@ index() {
          -o -f "$_DATA/pages/$PATH_INFO/#page.md" \
        -a ! -f "$_DATA/pages/$PATH_INFO/#index.flag" ] 2>&-
   then
-      [ "$verb" ] && printf "%${v}s\r%s\r" "$PATH_INFO" >&2
+      [ "$verb" ] && printf "%${v}s\r%s\r" "" "$PATH_INFO" >&2
       v="${#PATH_INFO}"
       "$_EXEC/parsers/40_indexer.sh" <"$_DATA/pages/$PATH_INFO/#page.md" >/dev/null
     fi