2016-10-31 07:33:57 +01:00
|
|
|
FROM ubuntu:14.04
|
2016-07-24 04:49:57 +02:00
|
|
|
|
2018-03-16 10:34:47 +01:00
|
|
|
LABEL maintainer="Mahmoud Zalt <mahmoud@zalt.me>"
|
2017-03-26 09:56:55 +02:00
|
|
|
|
2016-07-25 06:31:31 +02:00
|
|
|
RUN apt-key adv --recv-keys --keyserver hkp://keyserver.ubuntu.com:80 0x5a16e7281be7a449
|
|
|
|
|
|
2016-07-25 06:47:17 +02:00
|
|
|
RUN apt-get update -y \
|
2017-12-10 10:41:35 +01:00
|
|
|
&& apt-get install -y software-properties-common wget \
|
|
|
|
|
&& wget -O - http://dl.hhvm.com/conf/hhvm.gpg.key | sudo apt-key add - \
|
2016-07-25 06:31:31 +02:00
|
|
|
&& add-apt-repository "deb http://dl.hhvm.com/ubuntu $(lsb_release -sc) main" \
|
|
|
|
|
&& apt-get update -y \
|
|
|
|
|
&& apt-get install -y hhvm \
|
|
|
|
|
&& apt-get clean \
|
|
|
|
|
&& rm -rf /var/lib/apt/lists/*
|
2016-07-24 04:49:57 +02:00
|
|
|
|
2016-11-01 02:23:40 +01:00
|
|
|
RUN mkdir -p /var/www
|
2016-07-24 04:49:57 +02:00
|
|
|
|
|
|
|
|
ADD server.ini /etc/hhvm/server.ini
|
|
|
|
|
|
|
|
|
|
RUN usermod -u 1000 www-data
|
|
|
|
|
|
2016-11-01 02:23:40 +01:00
|
|
|
WORKDIR /var/www
|
2016-07-24 04:49:57 +02:00
|
|
|
|
|
|
|
|
CMD ["/usr/bin/hhvm", "-m", "server", "-c", "/etc/hhvm/server.ini"]
|
|
|
|
|
|
|
|
|
|
EXPOSE 9000
|
