File name of Vagrantfile is case sensitive

[Grezzo]

It says on https://docs.vagrantup.com/v2/vagrantfile/index.html"
"Vagrantfiles are called Vagrantfiles because the actual literal filename for the file is Vagrantfile (casing doesn't matter)."

but if I have a file called VagrantFile on a Mac OS Extended (Case sensitive, Journaled) partition and I run vagrant up, it says:
A Vagrant environment is required to run this command. Runvagrant init to set one up in this directory, or change to a directory with a Vagrantfile and try again.

The file must be called Vagrantfile in order to work, so it is case sensitive.

There is either an error in to documentation, or it's a bug

[imjacobclark]

Fixed in #4907, feedback?

[Grezzo]

That works. Cheers.