commit 587e02ce15c74f54c3df7d871f535f2f0fde33f1
parent 1d9b1a92c068ac663ef0ba24de3338df9e57a557
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Tue, 28 Jul 2020 09:56:43 +0200
Add man page picker
Diffstat:
1 file changed, 10 insertions(+), 0 deletions(-)
diff --git a/.local/bin/manpick b/.local/bin/manpick
@@ -0,0 +1,10 @@
+#!/bin/sh
+find /usr/{,local/}share/man/man[1235678] -type f |\
+awk '{
+match($1, /[A-z]*\.[0-9]/)
+printf "%s\t%s\n", substr($1, RSTART), $1
+}' |\
+tsvplumb
+
+#sed 's,\(.*\),\1 \1,' |\
+#printf '%s\t%s\n' "${mans##*/}" "${mans}" | tsvplumb