Skip to content

Instantly share code, notes, and snippets.

@digimix
Last active May 16, 2018 19:37
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save digimix/8e4f195c0f4a025f97df695e7d61e95b to your computer and use it in GitHub Desktop.
Save digimix/8e4f195c0f4a025f97df695e7d61e95b to your computer and use it in GitHub Desktop.
How to add PHP 7.2 to Ubuntu 16.04

Add the PPA, updated apt-get, install php7.2.

Commands for adding php7.2 via apt-get with PPA

sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
sudo apt-get install php7.2-cli

Ruby snippet for adding role to automated builds


 name: Add PHP 7.2 PPA
   apt_repository:
     repo: "ppa:ondrej/php"
     update_cache: yes
     
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment