From c605b7d8753dc3c6caf920a7ba49c75008ea427a Mon Sep 17 00:00:00 2001 From: Chris Roberts Date: Tue, 17 Jul 2018 15:16:53 -0700 Subject: [PATCH] Update option name for local plugin installation --- lib/vagrant/environment.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/vagrant/environment.rb b/lib/vagrant/environment.rb index 845036cf7..8aab2cf6a 100644 --- a/lib/vagrant/environment.rb +++ b/lib/vagrant/environment.rb @@ -953,7 +953,7 @@ module Vagrant ui.info(I18n.t("vagrant.commands.plugin.installing", name: name)) spec = Plugin::Manager.instance.install_plugin(name, {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", name: spec.name, version: spec.version.to_s)) end