mirror/sdkman-cli
1
0
Fork 0
mirror of https://github.com/sdkman/sdkman-cli.git synced 2026-05-24 08:27:39 -04:00
Code Issues Packages Projects Releases Wiki Activity

Revert "Clean up after merge."

Browse Source 
This reverts commit 51c877d3ab.
This commit is contained in:
Marco Vermeulen
2016-03-10 08:22:53 +00:00
parent 51c877d3ab
commit 731b28c7bd
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/bash/sdkman-utils.sh
View File

@@ -27,9 +27,9 @@ function __sdkman_curl_with_timeouts {
}
function __sdkman_page {
local pager="${PAGER-$(which less)}"
local PAGER="${PAGER-$(which less)}"
if [[ -n "$pager" ]]; then
if [[ -n "$PAGER" ]]; then
"$@" | "$PAGER"
else
"$@"