12345678910111213 |
- FROM basex/basexhttp:latest
- COPY ./bashrc /srv/.bashrc
- COPY ./inputrc /srv/.inputrc
- # RUN basex "db:create('gdp','/srv/basex/src/gdp.tei.xml', (),map {'ftindex': true(),'stemming': true(),'casesens': true(),'diacritics': true(),'language': 'fr','updindex': true(),'autooptimize': true(),'maxlen': 96,'maxcats': 100,'splitsize': 0,'chop': false(),'textindex': true(),'attrindex': true(),'tokenindex': true(), 'xinclude': true()})"
- COPY ./gdp-entrypoint.sh /usr/local/bin
- USER root
- RUN chmod +x /usr/local/bin/gdp-entrypoint.sh
- # RUN ln -s /usr/local/bin/gdp-entrypoint.sh /srv/ # backwards compat
- USER basex
- CMD ["/bin/sh","/usr/local/bin/gdp-entrypoint.sh"]
|