| 12345678910 |
- #!/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
|
