Closed pfrischmuth closed 8 years ago
I don't know if it is a good idea to also change the default settings in config.ini.dist
to something devenv related, since this is also the default for normal OntoWiki setup
Ok that's a valid point... I will revert the changes to the dist config files and will embed them into the devenv repo...
This feature removes the old vagrant based development environment and adds support for a new docker based development environment.
The new environment is host in an external repo here: https://github.com/pfrischmuth/ontowiki-devenv.
Developers can use
make devenv
to clone the repo into their OntoWiki checkout.