Skip to content

Commit

Permalink
Fix plugin install version
Browse files Browse the repository at this point in the history
This commit fixes the version of the plugin downloaded
by the `install` command so that, when the version is not
specied, the version expected by the current runtime
is used by default.

Signed-off-by: Paolo Di Tommaso <paolo.ditommaso@gmail.com>
  • Loading branch information
pditommaso committed Feb 18, 2023
1 parent b59fa72 commit 59e9a91
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -110,7 +110,7 @@ class PluginUpdater extends UpdateManager {
void pullPlugins(List<String> plugins) {
pullOnly=true
try {
final specs = plugins.collect(it -> PluginSpec.parse(it))
final specs = plugins.collect(it -> PluginSpec.parse(it,defaultPlugins))
for( PluginSpec spec : specs ) {
pullPlugin0(spec.id, spec.version)
}
Expand Down

0 comments on commit 59e9a91

Please sign in to comment.