Select php engine

pe.sh

#!/bin/bash

# set this is your .bashrc ". ~/Tools/pe.sh 7.0"
# set this in your .bash_aliases "alias pe='. ~/Tools/pe.sh'"

VERSIONS=($(find /usr/local/ -maxdepth 1 -name 'php-*' | sort | cut -c16-))
VERSION=""

if [ -n "$1" ]; then
    VERSION=$1
fi

if [[ ! " ${VERSIONS[@]} " =~ " ${VERSION} " ]]; then
    PS3="Choose a version: "
    select VERSION in ${VERSIONS[*]}; do
       echo -e "\nSetting to option $REPLY: $VERSION\n"
       /usr/local/php-${VERSION}/bin/php -v
       break
    done
fi

PATH=/usr/local/php-${VERSION}/bin:/usr/local/php-${VERSION}/sbin
PATH=$PATH:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin
PATH=$PATH:/home/tvl/Tools
PATH=$PATH:/home/tvl/Tools/scala-2.11.8/bin:/home/tvl/Tools/sbt/bin:/opt/java/jdk1.8.0_74/bin
PATH=$PATH:$HOME/.rvm/bin # Add RVM to PATH for scripting

export PATH="$PATH"