2021-01-03 23:04:07 +01:00
|
|
|
FROM debian:10
|
|
|
|
|
RUN apt-get update
|
|
|
|
|
RUN apt-get upgrade -y
|
|
|
|
|
RUN apt-get install -y \
|
2024-04-19 14:50:54 +02:00
|
|
|
php7.3-cli php-json \
|
|
|
|
|
php-pear php-dev \
|
|
|
|
|
libmosquitto-dev libmosquitto1 mosquitto-clients \
|
|
|
|
|
php-yaml \
|
|
|
|
|
locales-all
|
2021-01-03 23:04:07 +01:00
|
|
|
RUN pecl install Mosquitto-alpha
|
2024-04-19 14:50:54 +02:00
|
|
|
RUN echo "extension=mosquitto.so" > /etc/php/7.3/mods-available/mosquitto.ini
|
2021-01-03 23:04:07 +01:00
|
|
|
RUN ln -s /etc/php/7.3/mods-available/mosquitto.ini /etc/php/7.3/cli/conf.d/20-mosquitto.ini
|
2021-01-04 11:19:54 +01:00
|
|
|
ADD . /app
|
2021-01-03 23:04:07 +01:00
|
|
|
|
|
|
|
|
VOLUME /app/public
|
|
|
|
|
|
|
|
|
|
ENTRYPOINT /app/generator.php
|
