dotfiles/.local/bin/scripts/grepman

#!/bin/sh
# Grep through all manuals
find /usr/share/man -name "*$1*" | xargs gunzip -c | grep $2 --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: add grepman 2021-05-20 12:15:04 +02:00			`find /usr/share/man -name "$1" \| xargs gunzip -c \| grep $2 --color=auto`