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 12:15:04 +02:00			`#!/bin/sh`
bin: document scripts 2021-07-29 16:02:20 +02:00			`# Grep through all manuals`
bin: various fixes 2022-12-13 13:25:04 +01:00			`manual=$1`
			`shift`
			`find /usr/share/man -name "$manual" \| xargs gunzip -c \| grep "$@" --color=auto`