Update options to define id can be used in any directory

See: https://github.com/hashicorp/vagrant/pull/9605

Proposes add `name|id` to `Options` to define the ability to use `id` from any directory.
This commit is contained in:
Alan 2018-03-22 16:45:03 +00:00 committed by GitHub
parent b3cb16b856
commit 0ac919547e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions

View File

@ -20,6 +20,11 @@ on a day-to-day basis.
## Options
* `name` - Name of machine defined in [Vagrantfile](/docs/vagrantfile/)
* `id` - Machine id found with `vagrant global-status`. Using `id` allows
you to call `vagrant up id` from any directory.
* `--[no-]destroy-on-error` - Destroy the newly created machine if a fatal,
unexpected error occurs. This will only happen on the first `vagrant up`.
By default this is set.