jcgruenhage:
Ideally it would just be a matter of cloning the repository and running docker build .
the symlink for example could already be present, pointing to ../tine20
if people don't have those repositories next to each other, this would need to be changed, but having a default there that works for most people makes it easier
jcgruenhage: