cambiar entre versiones de php en linux

por ejemplo si queremos poner como default la version de php 7.1

(previamente instalada)

sudo update-alternatives --set php /usr/bin/php7.1

para comprobarlo podemos ver que archivo de configuracion ini lee nuestra terminal asi:

php --ini |grep Loaded