# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1545221332 -7200
# Node ID caadfc329ea254fdaaeeb8f7c4ebed763cb86705
# Parent  08aa10b9c7ff07dcbb21eac258483517cbfa6970
Vagrant's --debug-timestamp.

diff -r 08aa10b9c7ff -r caadfc329ea2 vagrant.rst
--- a/vagrant.rst	Wed Dec 19 14:07:30 2018 +0200
+++ b/vagrant.rst	Wed Dec 19 14:08:52 2018 +0200
@@ -176,6 +176,10 @@
   VAGRANT_LOG_TIMESTAMP=1 vagrant up
   vagrant up --timestamp
 
+To add both as option::
+
+  vagrant up --debug-timestamp
+
 https://www.vagrantup.com/docs/other/environmental-variables.html
   Environmental Variables. ``VAGRANT_LOG``.