Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

move /srv/webknossos to /webknossos in the dockerfiles #5843

Merged
merged 10 commits into from
Nov 17, 2021

Conversation

normanrz
Copy link
Member

@normanrz normanrz commented Nov 12, 2021

Moves the webKnossos files in the docker container from /srv/webknossos to /webknossos. This will make deployment on our infrastructure much easier, because we can mount /srv wholly and all symlinks etc will work internally.

Unfortunately, this brings a migration burden, where all mount-configs need to be changed. Would love to hear your feedback on that.

This PR also cleans up some unused and probably out-of-date scripts.


@normanrz normanrz self-assigned this Nov 12, 2021
@philippotto
Copy link
Member

Sounds reasonable to me 👍

Copy link
Member

@fm3 fm3 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I can’t really estimate how much effort the migration is, but seems reasonable to me too.

Copy link
Contributor

@jstriebel jstriebel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice! I mostly added one suggestion to keep the bin/webknossos call part of the entrypoint, which allows to keep the current commands as they are.

Unfortunately, this brings a migration burden, where all mount-configs need to be changed. Would love to hear your feedback on that.

I think that's fine 👍

Dockerfile Outdated Show resolved Hide resolved
webknossos-tracingstore/Dockerfile Outdated Show resolved Hide resolved
webknossos-datastore/Dockerfile Outdated Show resolved Hide resolved
Copy link
Contributor

@jstriebel jstriebel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice, LGTM 👍

@bulldozer-boy bulldozer-boy bot merged commit e16a438 into master Nov 17, 2021
@bulldozer-boy bulldozer-boy bot deleted the docker-directory branch November 17, 2021 16:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants