Update plugins/colored-man-pages/colored-man-pages.plugin.sh

Co-authored-by: Koichi Murase <[email protected]>
ohmybash · Oct 2, 2024 · e5e48c2 · e5e48c2
1 parent 386b638
commit e5e48c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 "$@"