Você diz NOTA: Não é uma opção para alterar temporariamente o PATH variável apenas para este comando, porque isso afetará outros dependências , mas eu acho que é uma opção se você fizer isso direito.
Você pode criar um diretório pessoal que tenha somente seu php
desejado em
e coloque esse diretório pessoal primeiro em seu próprio PATH. Que pessoal
A entrada PATH afetará o shell, encontrando apenas um php
binário,
e não afeta quaisquer outras dependências do PATH. Outras pessoas correndo o
O script não usa o seu PATH, por isso não irá afetá-los. Por exemplo:
$ mkdir -p "$HOME/myphp"
$ ln -s /usr/bin/php "$HOME/myphp/"
$ PATH=$HOME/myphp:$PATH
$ ./script.sh
O método acima afeta apenas o programa php
, nada mais, e somente
afeta-o para você, não para qualquer outra pessoa.
Claro que você pode colocar sua nova definição PATH na inicialização do shell
arquivo para sua conta, de modo que apenas os comandos que você executar usarão essa
versão de php
.