# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1545221250 -7200
# Node ID 08aa10b9c7ff07dcbb21eac258483517cbfa6970
# Parent  5892d69ad3ed25c4bede5086e4a61866df632a02
Add timestamp to Vagrant log.

diff -r 5892d69ad3ed -r 08aa10b9c7ff 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``.