From e5e48c2111c746d127f5c05b4714bde5b62cf05e Mon Sep 17 00:00:00 2001 From: Rob Loach Date: Tue, 1 Oct 2024 23:03:16 -0400 Subject: [PATCH] Update plugins/colored-man-pages/colored-man-pages.plugin.sh Co-authored-by: Koichi Murase --- plugins/colored-man-pages/colored-man-pages.plugin.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/colored-man-pages/colored-man-pages.plugin.sh b/plugins/colored-man-pages/colored-man-pages.plugin.sh index 1d73c6b73..e71b1b250 100644 --- a/plugins/colored-man-pages/colored-man-pages.plugin.sh +++ b/plugins/colored-man-pages/colored-man-pages.plugin.sh @@ -17,7 +17,7 @@ function colored() { # Prefer `less` whenever available, since we specifically configured # environment for it. - local -x PAGER="${commands[less]:-$PAGER}" + local -x PAGER=$(type -P less || _omb_util_print "$PAGER") local -x GROFF_NO_SGR=1 command "$@"