steinkel

#!/bin/bash
## Upgrade to php7.1 and install required dependencies
# execute this script using 
# source <(curl RAW_GIST_URL)
read -p "You are about to upgrade to PHP 7.1 OK? " -n 1 -r
echo
if [[ $REPLY =~ ^[Yy]$ ]]
then
    echo 'y' | sudo add-apt-repository ppa:ondrej/php && \
    sudo apt-get update && \