From 0ac919547e8654165562f763241f51b82102771c Mon Sep 17 00:00:00 2001
From: Alan <amwill04@users.noreply.github.com>
Date: Thu, 22 Mar 2018 16:45:03 +0000
Subject: [PATCH] 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.
---
 website/source/docs/cli/up.html.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/website/source/docs/cli/up.html.md b/website/source/docs/cli/up.html.md
index 4342cda40..0de1ec15d 100644
--- a/website/source/docs/cli/up.html.md
+++ b/website/source/docs/cli/up.html.md
@@ -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.