Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:81362
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: softfail (pb1.pair.com: domain horde.org does not designate 82.98.68.218 as permitted sender)
Date: Thu, 29 Jan 2015 09:57:24 +0100
Message-ID: <20150129095724.Horde.ALf3Jojx2YyZkyHsh8dDvQ6@neo.wg.de>
To: internals@lists.php.net
In-Reply-To: <54C967A0.6070706@lerdorf.com>
User-Agent: Horde Application Framework 5
Content-Type: text/plain; charset=utf-8; format=flowed; DelSp=Yes
MIME-Version: 1.0
Content-Disposition: inline
Subject: Re: [PHP-DEV] php7dev Vagrant box
From: jan@horde.org (Jan Schneider)
References: <54C967A0.6070706@lerdorf.com>


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.

-- 
Jan Schneider
The Horde Project
http://www.horde.org/
https://www.facebook.com/hordeproject