sudo add-apt-repository ppa:gnome-terminator
sudo apt-get update
sudo apt-get install terminator
Terminator should be setup as default now. Restart your terminal (shortcut: "Ctrl+Alt+T").
VERSION=${1:-5.5.9} | |
PHP_DIR=$HOME/.phpenv/versions/$VERSION | |
pushd $HOME/.php-build/bin | |
test -x $PHP_DIR/bin/php || ./php-build -i development $VERSION $PHP_DIR | |
popd | |
phpenv global $VERSION |