vagrant-{init, ssh-config}: add page (#19750)

Co-authored-by: Dylan <145150333+dmmqz@users.noreply.github.com>
Co-authored-by: Ivan Baluta <50071699+ivanbaluta@users.noreply.github.com>
Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>
Co-authored-by: Lena Pastwa <lena@lnps.me>

Author: 5 people

pages/common/vagrant-init.md

@@ -0,0 +1,33 @@
+# vagrant init
+
+> Initialize a Vagrant environment in the current directory by creating a `Vagrantfile`.
+> See also: `vagrant`.
+> More information: <https://developer.hashicorp.com/vagrant/docs/cli/init>.
+
+- Create a `Vagrantfile`:
+
+`vagrant init`
+
+- Create a `Vagrantfile` without instructional comments:
+
+`vagrant init {{[-m|--minimal]}}`
+
+- Specify the box name and URL:
+
+`vagrant init {{box_name}} {{box_url}}`
+
+- Create a `Vagrantfile` with a specific box version:
+
+`vagrant init --box-version {{version}} {{box_name}}`
+
+- Send the `Vagrantfile` to `stdout`:
+
+`vagrant init {{[-o|--output]}} -`
+
+- Overwrite an existing `Vagrantfile`:
+
+`vagrant init {{[-f|--force]}}`
+
+- Provide a custom ERB template for generating the `Vagrantfile`:
+
+`vagrant init --template {{path/to/file.erb}}`

pages/common/vagrant-ssh-config.md

@@ -0,0 +1,13 @@
+# vagrant ssh-config
+
+> Display configuration to SSH into a Vagrant machine manually (instead of using `vagrant ssh`).
+> See also: `vagrant`.
+> More information: <https://developer.hashicorp.com/vagrant/docs/cli/ssh_config>.
+
+- Get SSH configuration for the machine running in the current directory:
+
+`vagrant ssh-config`
+
+- Target a machine by name or ID:
+
+`vagrant ssh-config {{name|id}}`