Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:81363
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.212.172 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <20150129095724.Horde.ALf3Jojx2YyZkyHsh8dDvQ6@neo.wg.de>
References: <54C967A0.6070706@lerdorf.com>
	<20150129095724.Horde.ALf3Jojx2YyZkyHsh8dDvQ6@neo.wg.de>
Date: Thu, 29 Jan 2015 10:12:08 +0100
Message-ID: <CAH-PCH7By+soaU8ntuOy0NiBRdKVk5KFethcAY4xOzzWw0wxMw@mail.gmail.com>
To: Jan Schneider <jan@horde.org>
Cc: PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11c37e2eed6bc3050dc6e12e
Subject: Re: [PHP-DEV] php7dev Vagrant box
From: tyra3l@gmail.com (Ferenc Kovacs)

--001a11c37e2eed6bc3050dc6e12e
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

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
>>
>> 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
vagrant init php7dev
but probably easier to just upgrade


--=20
Ferenc Kov=C3=A1cs
@Tyr43l - http://tyrael.hu

--001a11c37e2eed6bc3050dc6e12e--