Starting php extensions theia/php in docker by default

Hi All,

We need to keep the functionality of docker theia/php. However, we would like some PHP extensions to be enabled when starting the IDE using docker automatically.

My questions are: Do I need to create a Dockerfile that extends theia/php (and then use docker build), or can these PHP extensions be enabled when starting the docker process using the docker command below?

This is the command I use to start the PS:

docker run -it -d -p 5000:3000 --name=my_name -v "a_path:/home/project:cached theiaide/theia-php:latest

These are the extensions I need installed on startup.

  • /etc/php7/php.ini
    - /etc/php7/conf.d/00_ctype.ini
    - /etc/php7/conf.d/00_json.ini
    - /etc/php7/conf.d/00_mbstring.ini
    - /etc/php7/conf.d/00_openssl.ini
    - /etc/php7/conf.d/00_tokenizer.ini
    - /etc/php7/conf.d/01_phar.ini
    - /etc/php7/conf.d/70_yaml.ini
    - /etc/php7/conf.d/xdebug.ini

I know the extensions exist in the Docker container already.

[PHP Modules]
Core
ctype
date
filter
hash
json
libxml
mbstring
openssl
pcre
Phar
readline
Reflection
SPL
standard
tokenizer
xdebug
yaml
zlib