How to jump to a specific heading in a man page?
From the command line for GNU man: man –pager=”less -p ^ENVIRONMENT” man or for BSD man: man -P ‘less -p ^ENVIRONMENT’ man will jump to the “ENVIRONMENT” heading of the man page for man. Here is a handy function: mans () { # Bash local pages string if [[ -n $2 ]] then pages=(${@:2}) string=”$1″ … Read more