Easily grep for and view relevant parts of man pages (suitable for aliasing to "man")

mangle.sh

#!/bin/bash

# Get section
if [[ $1 =~ [0-9]+ ]]
then
    section=$1
    shift
fi

# Find the longest set of args that gets a man page
args=("$@")
while ! command man -w $(echo "${args[@]}" | tr " " "-") &>/dev/null
do
    patterns+=( ${args[-1]} )
    unset args[-1]
done

# Build grep command
if [[ ${patterns[@]} ]]
then
    grepCommand="| grep -i -C4 --color=always -- ${patterns[@]} | less -RFX"
fi

# Do it
eval "command man $section ${args[@]} $grepCommand"