From 469a52fb58a5f9926ba132ef66dbd772955bb2e2 Mon Sep 17 00:00:00 2001 From: Jari Aalto Date: Sat, 5 Oct 2024 18:46:43 +0300 Subject: [PATCH] In __sdkman_echo_paged(), remove forced less(1) call Obey the standard variable PAGER. If set, use it. If unset, no paging is used. For example, if the user does not want to page the results, they can call in the standard shell: PAGER= --- src/main/bash/sdkman-utils.sh | 2 -- 1 file changed, 2 deletions(-) mode change 100644 => 100755 src/main/bash/sdkman-utils.sh diff --git a/src/main/bash/sdkman-utils.sh b/src/main/bash/sdkman-utils.sh old mode 100644 new mode 100755 index 51797264f..824fab71e --- a/src/main/bash/sdkman-utils.sh +++ b/src/main/bash/sdkman-utils.sh @@ -68,8 +68,6 @@ function __sdkman_secure_curl_with_timeouts() { function __sdkman_echo_paged() { if [[ -n "$PAGER" ]]; then echo "$@" | eval "$PAGER" - elif command -v less >& /dev/null; then - echo "$@" | less else echo "$@" fi