Поэтому я думаю использовать/создать какой-нибудь Docker-контейнер с PHP 5.6, который
заменит мой системный (хост) php-cli.
Например, если я создаю контейнер с именем php56 из Dockerfile, который выглядит так:
Код: Выделить всё
FROM ubuntu:15.10
RUN apt-get -y update && apt-get install -y php5-cli
ENTRYPOINT ["php"]
Код: Выделить всё
sudo docker run -it php56 -v
Код: Выделить всё
/usr/bin/php
Это не лучший пример, но я надеюсь, что вы, ребята, поймете, что я пытаюсь сделать. Если это невозможно решить таким образом, порекомендуйте мне другое решение.
Подробнее здесь: https://stackoverflow.com/questions/362 ... nd-php-cli
Мобильная версия