-
Notifications
You must be signed in to change notification settings - Fork 845
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Docker: copy entire pantry directory
@borsboom Can you also have a look at this and see if this new logic makes sense instead of the old index copying logic?
- Loading branch information
Showing
1 changed file
with
8 additions
and
19 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
eaeae10
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't know enough about pantry's storage structure to know if this makes sense. In the case of the old indices, this was pretty safe because it would only copy the index from the image if it doesn't exist yet on the host. It looks like the new code could overwrite things that already exist on the host, which is probably not desirable. A way around this might be to only copy the pantry from the image if it does not yet exist on the host.
Another thing to note is that, since we simplified the docker image generation, the images no longer contain indices (or a pantry directory), so it's unlikely this code path will ever be used.
eaeae10
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'm including the check if the dest exists though:
Given that, would it be OK to simply remove this code?
eaeae10
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, I think you can remove it.