-
Notifications
You must be signed in to change notification settings - Fork 19
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Updated to Dotnet 9.0.101 #597
base: dev
Are you sure you want to change the base?
Conversation
# Conflicts: # server/envs/generate_user_env.sh
if [[ "" == "${JAVA_HOME}" ]]; then | ||
# select java home for JDK 21 | ||
JAVA_HOME=`/usr/libexec/java_home -v 21` | ||
fi |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't have that executable on my machine
I do however have JAVA_HOME set.
And I think it's reasonable to have an environment variable that overrides any automatic resolving.
if [[ "" == ${PLATFORMSDK_DIR} ]]; then | ||
echo "Missing PLATFORMSDK_DIR. Please run ./server/envs/generate_user_env.sh to generate it" | ||
exit 1 | ||
fi |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The file exists, but lacks the variable.
@@ -114,7 +118,7 @@ function install_dotnet() { | |||
# https://dotnet.microsoft.com/en-us/download/dotnet/9.0 | |||
# https://github.com/dotnet/core/blob/main/release-notes/9.0/install.md | |||
|
|||
local version="9.0.100-rc.2.24474.11" | |||
local version="9.0.1xx" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
They haven't yet updated to v9 at their latest version, nor is it possible to write a more inclusive pattern (none that I've found at least)
No description provided.