Following https://wikitech.wikimedia.org/wiki/Help:MediaWiki-Vagrant_in_Labs#Setting_up_your_instance_with_MediaWiki-Vagrant , step 7:
nemobis@nemobis:/srv/mediawiki-vagrant$ vagrant up Bringing machine 'default' up with 'lxc' provider... ==> default: Box 'Wikimedia/trusty64-puppet-lxc' could not be found. Attempting to find and install... default: Box Provider: lxc default: Box Version: >= 0 ==> default: Loading metadata for box 'Wikimedia/trusty64-puppet-lxc' default: URL: https://atlas.hashicorp.com/Wikimedia/trusty64-puppet-lxc ==> default: Adding box 'Wikimedia/trusty64-puppet-lxc' (v0.1) for provider: lxc default: Downloading: https://atlas.hashicorp.com/Wikimedia/boxes/trusty64-puppet-lxc/versions/0.1/providers/lxc.box An error occurred while downloading the remote file. The error message, if any, is reproduced below. Please fix this error and try again. The requested URL returned error: 404 Not Found
Internet is accessible, but Dropbox returns 404:
$ wget -O /dev/null https://atlas.hashicorp.com/Wikimedia/boxes/trusty64-puppet-lxc/versions/0.1/providers/lxc.box converted 'https://atlas.hashicorp.com/Wikimedia/boxes/trusty64-puppet-lxc/versions/0.1/providers/lxc.box' (ANSI_X3.4-1968) -> 'https://atlas.hashicorp.com/Wikimedia/boxes/trusty64-puppet-lxc/versions/0.1/providers/lxc.box' (UTF-8) --2017-03-31 11:34:09-- https://atlas.hashicorp.com/Wikimedia/boxes/trusty64-puppet-lxc/versions/0.1/providers/lxc.box Resolving atlas.hashicorp.com (atlas.hashicorp.com)... 52.55.203.197, 52.206.86.0, 52.200.255.5 Connecting to atlas.hashicorp.com (atlas.hashicorp.com)|52.55.203.197|:443... connected. HTTP request sent, awaiting response... 302 Found Location: https://dl.dropboxusercontent.com/u/363887/trusty64-puppet-lxc.box [following] converted 'https://dl.dropboxusercontent.com/u/363887/trusty64-puppet-lxc.box' (ANSI_X3.4-1968) -> 'https://dl.dropboxusercontent.com/u/363887/trusty64-puppet-lxc.box' (UTF-8) --2017-03-31 11:34:09-- https://dl.dropboxusercontent.com/u/363887/trusty64-puppet-lxc.box Resolving dl.dropboxusercontent.com (dl.dropboxusercontent.com)... 162.125.17.133 Connecting to dl.dropboxusercontent.com (dl.dropboxusercontent.com)|162.125.17.133|:443... connected. HTTP request sent, awaiting response... 404 Not Found 2017-03-31 11:34:09 ERROR 404: Not Found.
Is the URL wrong, or do we need a better hosting than this Dropbox directory (cf. https://www.dropbox.com/help/45 )?