diff options
| author | Andrea Nanni <37385837+ananni13@users.noreply.github.com> | 2020-03-02 16:19:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-02 16:19:48 +0100 |
| commit | 10ab2911d35c84c120bae8f4e103b087fe19ce08 (patch) | |
| tree | f3dd4a2f6c12600dcc66c093bf44156fd66c2c23 /plugins/sdk | |
| parent | 72707d92b1f127a2c16f0447e4d8233ed7b3c10e (diff) | |
| download | zsh-10ab2911d35c84c120bae8f4e103b087fe19ce08.tar.gz zsh-10ab2911d35c84c120bae8f4e103b087fe19ce08.tar.bz2 zsh-10ab2911d35c84c120bae8f4e103b087fe19ce08.zip | |
sdk: add support for local versions and optimize sed calls (#7870)
* Added support for local sdk versions
Added support for local versions (prefixed by '+'), so they are filtered out in _listInstallableVersions() and they are displayed correctly by _listAllVersion()
* Optimize sed calls
Co-authored-by: Marc Cornellà <marc.cornella@live.com>
Diffstat (limited to 'plugins/sdk')
| -rw-r--r-- | plugins/sdk/sdk.plugin.zsh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/plugins/sdk/sdk.plugin.zsh b/plugins/sdk/sdk.plugin.zsh index d00459b16..13876bfd0 100644 --- a/plugins/sdk/sdk.plugin.zsh +++ b/plugins/sdk/sdk.plugin.zsh @@ -51,12 +51,13 @@ _listInstalledVersions() { } _listInstallableVersions() { - __sdkman_list_versions $1 | grep "^ " | sed -e "s/\* /*/g" | \ - sed -e "s/>//g" | xargs -n 1 echo | grep -v "^*" + # Remove local (+) and installed (*) versions from the list + __sdkman_list_versions $1 | sed -e '/^[^ ]/d;s/[+*] [^ ]\+//g;s/>//g' } _listAllVersion() { - __sdkman_list_versions $1 | grep "^ " | sed -e "s/\*/ /g" | sed -e "s/>//g" + # Remove (*), (+), and (>) characters from the list + __sdkman_list_versions $1 | sed -e '/^[^ ]/d;s/[*+>] //g' } _sdk () { |