You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
die "ERROR: Neither curl nor wget are installed, Could not set up JAVA_HOME"
162
165
fi
163
-
cd - ||exit
166
+
cd - > /dev/null ||die "failed to change dir to old pwd: $OLDPWD"
164
167
165
168
# Finding the java_home
166
169
java_home=$(get_java_home "$in_progress_dir")
167
170
"$java_home"/bin/java -cp "$scripts_dir"/gradle-jdks-setup.jar com.palantir.gradle.jdks.setup.GradleJdkInstallationSetup jdkSetup "$jdk_installation_directory"|| die "Failed to set up JDK $jdk_installation_directory"
168
-
echo"Successfully installed JDK distribution in $jdk_installation_directory"
171
+
write"Successfully installed JDK distribution in $jdk_installation_directory"
0 commit comments