New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ondrej/php5 no longer available #296

Open

toby-griffiths opened this issue Apr 3, 2017 · 0 comments

Contributor

toby-griffiths commented Apr 3, 2017

I've just tried to boot up a newly configured box, and been told that the PPA could not be found.

Digging in to the PHP role it was using ondrej/php5 as the PPA. It looks like this was previously deprecated, and therefore may have been removed.

I've changed to ondrej/php, and everything seems to have worked OK, so think that this might need updating.

toby-griffiths mentioned this issue

Corrected PHP repo #297

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment