bash/man.bash


1
2
3
4
5
6
7
8
9

export MANWIDTH=80

# on smaller terminals, use their width
# (cf. https://wiki.archlinux.org/index.php/Man_page#Page_width)
man() {
    local width=$COLUMNS # bashism!
    [ $width -gt $MANWIDTH ] && width=$MANWIDTH
    env MANWIDTH=$width man "$@"
}