From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/vagrant/cli%2Fport.html | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 devdocs/vagrant/cli%2Fport.html (limited to 'devdocs/vagrant/cli%2Fport.html') diff --git a/devdocs/vagrant/cli%2Fport.html b/devdocs/vagrant/cli%2Fport.html deleted file mode 100644 index 86afbecc..00000000 --- a/devdocs/vagrant/cli%2Fport.html +++ /dev/null @@ -1,16 +0,0 @@ -

Port

Command: vagrant port [name|id]

The port command displays the full list of guest ports mapped to the host machine ports:

$ vagrant port
-    22 (guest) => 2222 (host)
-    80 (guest) => 8080 (host)
-
-

In a multi-machine Vagrantfile, the name of the machine must be specified:

$ vagrant port my-machine
-
-

Options

-

- © 2010–2018 Mitchell Hashimoto
Licensed under the MPL 2.0 License.
- https://www.vagrantup.com/docs/cli/port.html -

-
-- cgit v1.2.3