dotfiles/.local/bin/scripts/grepman

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