dotfiles/.local/bin/scripts/grepman

6 lines
134 B
Plaintext
Raw Normal View History

2021-05-20 10:15:04 +00:00
#!/bin/sh
2021-07-29 14:02:20 +00:00
# Grep through all manuals
2022-12-13 12:25:04 +00:00
manual=$1
shift
find /usr/share/man -name "*$manual*" | xargs gunzip -c | grep "$@" --color=auto