protege-docker-X11
Desktop version Stanford Ontology IDE
This will setup all the needed host directory to ensure Protégé configurations being persistent for next run.
./run.sh
./build.sh
Three volumes are exposed to host and already defined in “run.sh” script. Hence, you don’t need to do anything for the following volumes inside the Docker file and they are mapped to directories under your “$HOME/data-docker/protege_docker_x11”.
Protégé related files including Logs:
${HOME}/.Protege
Protégé Workspace:
${HOME}/Workspace
Protégé Plugin (to persist across multiple delete and create of Protégé Docker container) —
This is to keep the installed plug-in libraries to be persistent for next restart/re-create of Container.
${HOME}/protege-x11/plugins