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

Folders with dot prefix are not copied into container #1416

Closed
chitter99 opened this issue Sep 5, 2024 · 0 comments
Closed

Folders with dot prefix are not copied into container #1416

chitter99 opened this issue Sep 5, 2024 · 0 comments
Labels
bug Something isn't working

Comments

@chitter99
Copy link
Contributor

Describe the bug

We have a folder prefixed with a dot in out repo. This folder is not copied to the image when creating a container. See example bellow

image

image

After investigating, I think the issue is with how mkHome works.

cp -R ${path}/* $out${homeDir}/

Apparently the shell I'm using (fish) wildcard operators do not include hidden files or folders. Ergo the wildcard used for cp is ignoring the hidden folders at root level. Nested hidden folders are included as they get resolved by the -R argument by cp.

To reproduce

  • Create a folder called .testand add a file to it
  • Run devenv container copy shell
  • Run docker run -it shell and ls -la
  • .test folder is not in the directory

Version

devenv 1.0.8 (x86_64-linux)

@chitter99 chitter99 added the bug Something isn't working label Sep 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant