vagrant.rst
changeset 2452 f2450d4f1adc
parent 2372 a6ba7fce5ed9
--- 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
 ================