From e1da905871b339e1ea0ffdeebc2650e74dc6fbba Mon Sep 17 00:00:00 2001 From: Erik Zivkovic Date: Tue, 10 Mar 2020 12:13:19 +0100 Subject: [PATCH] Home dir: Move documentation comment into home src --- src/main/bash/sdkman-home.sh | 6 ++++++ src/main/bash/sdkman-main.sh | 6 ------ 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/main/bash/sdkman-home.sh b/src/main/bash/sdkman-home.sh index 5c8ed108..b15a939f 100644 --- a/src/main/bash/sdkman-home.sh +++ b/src/main/bash/sdkman-home.sh @@ -16,6 +16,12 @@ # limitations under the License. # +# +# Print home directory +# Printing the home directory does not require reaching out to the internet. +# Printing the home directory also has the hard requirment of not printing +# anything else unless it is an actual error. +# function __sdk_home { local candidate version diff --git a/src/main/bash/sdkman-main.sh b/src/main/bash/sdkman-main.sh index 1c4d0f77..be64c4b9 100644 --- a/src/main/bash/sdkman-main.sh +++ b/src/main/bash/sdkman-main.sh @@ -48,12 +48,6 @@ function sdk { COMMAND="home";; esac - # - # Print home directory - special case - # Printing the home directory does not require reaching out to the internet. - # Printing the home directory also has the hard requirment of not printing - # anything else unless it is an actual error - # if [[ "$COMMAND" == "home" ]]; then __sdk_home "$QUALIFIER" "$3" return $?