Skip to content

fix dockerfile#116

Merged
A-Baji merged 2 commits intodatajoint:mainfrom
jverswijver:fix_dockerfile
Apr 26, 2023
Merged

fix dockerfile#116
A-Baji merged 2 commits intodatajoint:mainfrom
jverswijver:fix_dockerfile

Conversation

@jverswijver
Copy link
Copy Markdown
Contributor

Seems like the docker COPY command copies as root which was leading to some permission issues in the container.

@jverswijver jverswijver temporarily deployed to docker April 26, 2023 20:42 — with GitHub Actions Inactive
@jverswijver jverswijver temporarily deployed to docker April 26, 2023 20:44 — with GitHub Actions Inactive
@jverswijver
Copy link
Copy Markdown
Contributor Author

It writes the files as root even if you use the USER command to designate a user, to clarify why this change is needed. --chown lets you set the user and group the file is copied as.

@A-Baji A-Baji merged commit 3665fef into datajoint:main Apr 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants