docker-gdp/Docker/basex/gdp-entrypoint.sh

#!/bin/sh

# todo: run some checks

echo "Creating GDP BaseX db"
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()})"

# as we override the parent container CMD, we have to launch basexhttp here
echo "Launching basexhttp"
basexhttp