Re: php7dev Vagrant box

On Thu, Jan 29, 2015 at 11:03 AM, Jan Schneider <jan@horde.org> wrote: > Zitat von Ferenc Kovacs <tyra3l@gmail.com>: > > > > On Thu, Jan 29, 2015 at 9:57 AM, Jan Schneider <jan@horde.org> wrote: > >> >> Zitat von Rasmus Lerdorf <rasmus@lerdorf.com>: >> >> >> As a follow-up to my PHP7 Homework post last week, here is a bit of >>> spoon-feeding for all you lurkers on this list. >>> >>> https://atlas.hashicorp.com/*rasmus/boxes/php7dev* >>> >>> <https://atlas.hashicorp.com/rasmus/boxes/php7dev> >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> *The description there should be fairly self-explanatory. If you have a >>> computer running Linux, OSX or Windows and about 4G of disk space, heck >>> install it on a $5 USB stick, then you don't have any excuses. It will >>> takes less than 15 minutes of your time, and most of that is waiting for >>> the download. Please use it to install your own applications or whatever >>> random PHP applications out there you can find and help us track down >>> issues. We have been plagued by bugs being found after initial releases >>> because not enough people helped test in the past. Let's try to get ahead >>> of them this time. -Rasmus* >>> >> >> >> >> >> *The first command from your instructions there get me: $ vagrant box add >> rasmus/php7dev This command was not invoked properly. The help for this >> command is available below.* >> >> > > *what version of vagrant are you using? (you can check via vagrant > --version)* > *adding boxes like that (username/boxname format instead of using the full > url for the box) is only supported since vagrant 1.5* > *if you don't wanna upgrade you could try something like* > *vagrant box add > https://atlas.hashicorp.com/rasmus/boxes/php7dev > <https://atlas.hashicorp.com/rasmus/boxes/php7dev> * > *vagrant init php7dev* > *but probably easier to just upgrade* > > > *--* > > *Ferenc Kovács @Tyr43l - http://tyrael.hu <¢œgYK˜¬½^ > †Åƒ•Íhttp://tyrael.hu>* > > > > It's indeed 1.4, but that doesn't work with the full URL either. Upgrading > is the way to go. > agree, but out of curiosity, could you try the following with 1.4?: vagrant box add "rasmus/php7dev" https://vagrantcloud.com/rasmus/boxes/php7dev/versions/0.0.2/providers/virtualbox.box --provider virtualbox -- Ferenc Kovács @Tyr43l - http://tyrael.hu