diff options
-rw-r--r-- | bash/man.bash | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bash/man.bash b/bash/man.bash index 4927952..5a28066 100644 --- a/bash/man.bash +++ b/bash/man.bash | |||
@@ -3,7 +3,7 @@ export MANWIDTH=80 | |||
3 | # on smaller terminals, use their width | 3 | # on smaller terminals, use their width |
4 | # (cf. https://wiki.archlinux.org/index.php/Man_page#Page_width) | 4 | # (cf. https://wiki.archlinux.org/index.php/Man_page#Page_width) |
5 | man() { | 5 | man() { |
6 | local width=$(tput cols) | 6 | local width=$COLUMNS # bashism! |
7 | [ $width -gt $MANWIDTH ] && width=$MANWIDTH | 7 | [ $width -gt $MANWIDTH ] && width=$MANWIDTH |
8 | env MANWIDTH=$width man "$@" | 8 | env MANWIDTH=$width man "$@" |
9 | } | 9 | } |