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