diff --git a/resources/aliases b/resources/aliases index 66831ea5f..10f278b4b 100644 --- a/resources/aliases +++ b/resources/aliases @@ -27,18 +27,15 @@ function dusk() { } function php56() { - sudo rm /usr/bin/php - sudo ln -s /usr/bin/php5.6 /usr/bin/php + sudo update-alternatives --set php /usr/bin/php5.6 } function php70() { - sudo rm /usr/bin/php - sudo ln -s /usr/bin/php7.0 /usr/bin/php + sudo update-alternatives --set php /usr/bin/php7.0 } function php71() { - sudo rm /usr/bin/php - sudo ln -s /usr/bin/php7.1 /usr/bin/php + sudo update-alternatives --set php /usr/bin/php7.1 } function serve-apache() { diff --git a/resources/localized/aliases b/resources/localized/aliases index 11735a807..308fb8167 100644 --- a/resources/localized/aliases +++ b/resources/localized/aliases @@ -27,18 +27,15 @@ function dusk() { } function php56() { - sudo rm /usr/bin/php - sudo ln -s /usr/bin/php5.6 /usr/bin/php + sudo update-alternatives --set php /usr/bin/php5.6 } function php70() { - sudo rm /usr/bin/php - sudo ln -s /usr/bin/php7.0 /usr/bin/php + sudo update-alternatives --set php /usr/bin/php7.0 } function php71() { - sudo rm /usr/bin/php - sudo ln -s /usr/bin/php7.1 /usr/bin/php + sudo update-alternatives --set php /usr/bin/php7.1 } function serve-apache() {