create links to mediawiki maintenance scripts

This commit is contained in:
Adrian Malacoda 2018-08-12 03:39:44 -05:00
parent b8c8bc331e
commit b365cfa58e

View File

@ -27,6 +27,9 @@ RUN cd /tmp && wget $MW_SOURCE && tar -xvf mediawiki-*.tar.gz && \
RUN chown -R www-data:www-data $SOURCE_ROOT
RUN cd "$WIKI_SOURCE/maintenance" && \
sh -c 'for TOOL in *.php; do LINK="/usr/bin/$(basename $TOOL .php)"; echo "#!/bin/sh\nphp $WIKI_SOURCE/maintenance/$TOOL \$@" > $LINK; chmod +x $LINK; done'
# Add our scripts
ADD scripts scripts