Fix for JAVA_HOME

This commit is contained in:
Brian Zalewski 2023-07-31 19:34:26 +00:00
parent c89fe9568f
commit 5c9f53e9d0

View file

@ -4616,7 +4616,7 @@ softwarePackages:
port: openjdk11 port: openjdk11
scoop: openjdk11 scoop: openjdk11
jenv: jenv:
_bin: null _bin: jenv
_desc: '[jenv](https://www.jenv.be/) lets you switch between Java versions. It sets JAVA_HOME inside your shell, in a way that can be set globally, local to the current working directory or per shell.' _desc: '[jenv](https://www.jenv.be/) lets you switch between Java versions. It sets JAVA_HOME inside your shell, in a way that can be set globally, local to the current working directory or per shell.'
_docs: https://github.com/gcuisinier/jenv/wiki _docs: https://github.com/gcuisinier/jenv/wiki
_github: https://github.com/jenv/jenv _github: https://github.com/jenv/jenv
@ -10219,7 +10219,7 @@ softwarePlugins:
plugins: plugins:
- https://github.com/BalliAsghar/mailsy-alfred/releases/download/2.0.0/Mailsy.alfredworkflow - https://github.com/BalliAsghar/mailsy-alfred/releases/download/2.0.0/Mailsy.alfredworkflow
android-studio: android-studio:
cmd: bash -c 'echo $JAVA_HOME && sdkmanager --list_installed && if ! sdkmanager --list_installed | grep "{PLUGIN}"; then sdkmanager --install "{PLUGIN}"; fi' cmd: bash -c 'if [ -f "$ASDF_DIR/asdf.sh" ]; then . "$ASDF_DIR/asdf.sh"; fi && echo $JAVA_HOME && sdkmanager --list_installed && if ! sdkmanager --list_installed | grep "{PLUGIN}"; then sdkmanager --install "{PLUGIN}"; fi'
plugins: plugins:
- add-ons;addon-google_apis-google-24 - add-ons;addon-google_apis-google-24
- build-tools;33.0.0 - build-tools;33.0.0