#!/bin/bash pushd "$GEXT_JENA_INSTALLED" #fuseki-server --pages=etc/pages --update --loc=etc/tdb-triple-store /greenstone fuseki-server --pages=etc/pages --update --desc etc/tdb.ttl /greenstone popd