change git to curl; add /var/lib/mediawiki for perm. data

This commit is contained in:
Leibnitius 2014-06-18 16:47:24 -04:00
parent 23fc1f4c0f
commit 12efa016cf

View File

@ -1,7 +1,13 @@
FROM tutum/apache-php:latest
RUN rm -fr /app && git clone https://gerrit.wikimedia.org/r/p/mediawiki/core.git /app
RUN cd /app && git checkout -b REL1_23 origin/REL1_23
RUN rm -fr /app && \
curl http://releases.wikimedia.org/mediawiki/1.23/mediawiki-1.23.0.tar.gz -o /app.tar.gz && \
tar -xzf /app.tar.gz && \
rm -r /app.tar.gz
RUN mkdir /var/lib/mediawiki
RUN mv /app/images /var/lib/mediawiki && ln -s /app/images /var/lib/mediawiki/images
RUN mv /app/skins /var/lib/mediawiki && ln -s /app/skins /var/lib/mediawiki/skins
RUN touch /var/lib/mediawiki/LocalSettings.php && ln -s /app/LocalSettings.php /var/lib/mediawiki/LocalSettings.php
EXPOSE 80
CMD ["/run.sh"]