]> git.plutz.net Git - shellwiki/commitdiff
type for verbose logging
authorPaul Hänsch <paul@plutz.net>
Sat, 23 Sep 2023 21:35:53 +0000 (23:35 +0200)
committerPaul Hänsch <paul@plutz.net>
Sat, 23 Sep 2023 21:35:53 +0000 (23:35 +0200)
searchindex.sh

index af120f603f26db95b84f095cdadc17c0cec6df25..5e80014bc434a709dffe82033df928c08859a733 100755 (executable)
@@ -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