Infomaniak webhosting offers SSH access to your account.
This .bashrc
switches the PHP cli version as configured in your .php-version
.
1/ To install this .bashrc
, open an SSH connexion to your webhosting account.
2/ Then get the latest version from github and profit :
wget https://raw.githubusercontent.com/mathieu-coingt/infomaniak-ssh-php-version/main/.bashrc -O $HOME/.bashrc
source $HOME/.bashrc
3/ Finally, you have to create a .php-version
file in your folders where you want to change you PHP cli version : see exemple in this repository.
Just write in this file the PHP version you want to use. Possible values are the one you can choose in your Infomaniak manager :
- 8.0
- 7.4
- 7.3
- 7.2
- 5.6
Also, you can use the .bash_profile
file given here, wich will show you in the prompt the PHP cli version used, and also gave you some colors ;-)
wget https://raw.githubusercontent.com/mathieu-coingt/infomaniak-ssh-php-version/main/.bash_profile -O $HOME/.bash_profile
You may have to close your SSH connection and connect again.
You can check the changes by navigating in your folder where you have write .php-version
file : your prompt has to indicate you the PHP cli version used, and you can verify it by tiping php -v