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
 ================