extract: reuse same line for output; clear at end

sunaku · Feb 28, 2023 · b2e2daf · b2e2daf
1 parent 882c7f2
commit b2e2daf
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bin/dasht-docsets-extract b/bin/dasht-docsets-extract
@@ -78,4 +78,5 @@ for tgz; do
       else rm -v "$arg"
       fi
   done
-done
+done | # rewrite verbose output onto a single line and clear it at the end
+awk 'function p(s) { printf("\033[2K\r%s", s) }; { p($0) }; END { p("") }'