# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1604821850 -7200
# Node ID f2450d4f1adcebcb4c9dd9506af2ab46117202d4
# Parent  892004bd19bbc773b3c256e3a67cd3b27fa7128a
Selecting Vagrantfile.

diff -r 892004bd19bb -r f2450d4f1adc vagrant.rst
--- a/vagrant.rst	Sun Nov 08 09:14:06 2020 +0200
+++ b/vagrant.rst	Sun Nov 08 09:50:50 2020 +0200
@@ -26,6 +26,14 @@
 
 It is set/updated by VirtualBox installer and was ``VBOX_INSTALL_PATH`` before 4.3.12 (2014).
 
+Selecting Vagrantfile
+=====================
+
+Use env var ``VAGRANT_VAGRANTFILE`` to control which ``Vagrantfile`` is to use::
+
+  VAGRANT_VAGRANTFILE=Vagrantfile-alpine vagrant status
+  VAGRANT_VAGRANTFILE=Vagrantfile-debian vagrant status
+
 Updating Vagrant
 ================