Add timestamp to Vagrant log.
authorOleksandr Gavenko <gavenkoa@gmail.com>
Wed, 19 Dec 2018 14:07:30 +0200
changeset 2307 08aa10b9c7ff
parent 2306 5892d69ad3ed
child 2308 caadfc329ea2
Add timestamp to Vagrant log.
vagrant.rst
--- 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``.