Update option name for local plugin installation

This commit is contained in:
Chris Roberts 2018-07-17 15:16:53 -07:00
parent 8baf7ced38
commit c605b7d875
1 changed files with 1 additions and 1 deletions

View File

@ -953,7 +953,7 @@ module Vagrant
ui.info(I18n.t("vagrant.commands.plugin.installing", name: name)) ui.info(I18n.t("vagrant.commands.plugin.installing", name: name))
spec = Plugin::Manager.instance.install_plugin(name, spec = Plugin::Manager.instance.install_plugin(name,
{sources: Vagrant::Bundler::DEFAULT_GEM_SOURCES.dup}.merge( {sources: Vagrant::Bundler::DEFAULT_GEM_SOURCES.dup}.merge(
config_plugins[name]).merge(local: true)) config_plugins[name]).merge(env_local: true))
ui.info(I18n.t("vagrant.commands.plugin.installed", ui.info(I18n.t("vagrant.commands.plugin.installed",
name: spec.name, version: spec.version.to_s)) name: spec.name, version: spec.version.to_s))
end end