mdbook: add page (#4351)

2020-09-25 14:35:24 +08:00
parent da869342b0
commit 4538547a6f
2 changed files with 28 additions and 0 deletions
--- a/pages/common/vagrant.md
+++ b/pages/common/vagrant.md
@@ -26,3 +26,7 @@
 - Connect to machine via SSH:

 `vagrant ssh`
+
+- Output the SSH configuration file of the running Vagrant machine:
+
+`vagrant ssh-config`