changeset 2307:08aa10b9c7ff

Add timestamp to Vagrant log.
author Oleksandr Gavenko <gavenkoa@gmail.com>
date Wed, 19 Dec 2018 14:07:30 +0200
parents 5892d69ad3ed
children caadfc329ea2
files vagrant.rst
diffstat 1 files changed, 21 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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``.