dotfiles

commit 74bd311ebbab0db4e96fcd0a32f348e79c34cd3a
parent be0c5878df3215652821fee29bd49eab40234d73
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date:   Tue, 28 Jul 2020 10:16:14 +0200

Include additional man paths

Diffstat:
M
.local/bin/manpick
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.local/bin/manpick b/.local/bin/manpick
@@ -1,7 +1,7 @@
 #!/bin/sh
-find /usr/{,local/}share/man/man[1235678] -type f |\
+find /usr/local/man/man[1235678] /usr/{,local/}share/man/man[1235678] -type f |\
 awk '{
-match($1, /[A-z]*\.[0-9]/)
+match($1, /[A-z0-9]*\.[0-9]/)
 printf "%s\t%s\n", substr($1, RSTART), $1
 }' |\
 tsvplumb