From 1da2707ec91f90b8f4d0acff53f00cc85fb0359c Mon Sep 17 00:00:00 2001 From: aminelch <32558537+aminelch@users.noreply.github.com> Date: Thu, 6 Feb 2025 18:07:01 +0100 Subject: [PATCH] vagrant-plugin: add page (#15682) Co-authored-by: Lena <126529524+acuteenvy@users.noreply.github.com> Co-authored-by: Wiktor Perskawiec --- pages/common/vagrant-plugin.md | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 pages/common/vagrant-plugin.md diff --git a/pages/common/vagrant-plugin.md b/pages/common/vagrant-plugin.md new file mode 100644 index 0000000000..796be41a39 --- /dev/null +++ b/pages/common/vagrant-plugin.md @@ -0,0 +1,29 @@ +# vagrant plugin + +> Manage Vagrant plugins. +> See also: `vagrant`. +> More information: . + +- List all the plugins currently installed: + +`vagrant plugin list` + +- Install a plugin from remote repositories, usually RubyGems: + +`vagrant plugin install {{vagrant_vbguest}}` + +- Install a plugin from a local file source: + +`vagrant plugin install {{path/to/my_plugin.gem}}` + +- Update all installed plugins to their latest version: + +`vagrant plugin update` + +- Update a plugin to the latest version: + +`vagrant plugin update {{vagrant_vbguest}}` + +- Uninstall a specific plugin: + +`vagrant uninstall {{vagrant_vbguest}}`