Как каждый восстанавливает единственный пакет расширения PHP на Debian?
Директива ProxyCommand должна быть указана на клиентской машине, не машине шлюза, которая собирается сделать ее более сложной для Ваших пользователей. В основном от стороны клиента Вы говорите что ssh userX@inside.machine с помощью user@bastion.example.com в качестве прокси.
У каждого пользователя должна будет быть учетная запись ssh, но это может быть общая учетная запись, поскольку "проксированное имя пользователя" все еще указано на стороне клиента.
Я наткнулся на ваш вопрос, когда сам задался вопросом. Просто перейдите к источнику каталога расширений, затем:
phpize(для правильного управления версиями расширения)./ configure(с любыми необходимыми параметрами)make
Вероятно, он будет встроен папка libs . Затем вам просто нужно скопировать (и перезаписать) модуль в вашу основную установку PHP, т.е. / usr / lib64 / php / modules / {extension} .so .
Mark