Skip to content
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

Load sdk-init when adding the sdk plugin #12222

Open
csifinos opened this issue Feb 19, 2024 · 0 comments
Open

Load sdk-init when adding the sdk plugin #12222

csifinos opened this issue Feb 19, 2024 · 0 comments
Labels
Feature New feature or request

Comments

@csifinos
Copy link

If the feature request is for a plugin or theme, specify it here.

SDK plugin

If the feature solves a problem you have, specify it here.

No response

Describe the proposed feature.

When enabling the SDK plugin, the relative script (sdk.plugin.zsh) can load the sdk-init.sh script if the env SDKMAN_DIR is missing.

Describe alternatives you've considered

SDK can be loaded automatically by adding the following in the sdk.plugin.zsh

if [[ -z "$SDKMAN_DIR" ]]; then
  if [[ -d "$HOME/.sdkman" ]]; then
    [[ -s "$HOME/.sdkman/bin/sdkman-init.sh" ]] && source "$HOME/.sdkman/bin/sdkman-init.sh"
  fi
fi

Additional context

No response

Related Issues

No response

@csifinos csifinos added the Feature New feature or request label Feb 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Feature New feature or request
Projects
Status: Backlog
Development

No branches or pull requests

1 participant