--- a/vagrant.rst Wed Dec 19 09:42:44 2018 +0200
+++ b/vagrant.rst Wed Dec 19 14:07:30 2018 +0200
@@ -26,6 +26,17 @@
It is set/updated by VirtualBox installer and was ``VBOX_INSTALL_PATH`` before 4.3.12 (2014).
+Updating Vagrant
+================
+
+Plugins are required to reconfigures when Vagrant version was updated::
+
+ vagrant plugin expunge --reinstall
+
+and possibly::
+
+ vagrant plugin update
+
Managing names
==============
@@ -150,12 +161,21 @@
Debugging Vagrant
=================
-Add environment variavle::
+Add environment variable::
VAGRANT_LOG=warn vagrant ssh
VAGRANT_LOG=info vagrant ssh
VAGRANT_LOG=debug vagrant ssh
+or option::
+
+ vagrant up --debug
+
+To add timestamps use one of::
+
+ VAGRANT_LOG_TIMESTAMP=1 vagrant up
+ vagrant up --timestamp
+
https://www.vagrantup.com/docs/other/environmental-variables.html
Environmental Variables. ``VAGRANT_LOG``.