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

Don't add local gateway/media directory to container image #1482

Merged
merged 1 commit into from
Sep 3, 2024

Conversation

psschwei
Copy link
Collaborator

@psschwei psschwei commented Sep 3, 2024

Signed-off-by: Paul S. Schweigert [email protected]

Summary

Fixes #1473

The gateway/media directory is currently ignored by git. If the user happens to have created that directory locally for some reason (running tests?) then the docker build fails.

This patch implements a simple fix to remove the local media diretory, if it exists, from the container image prior to the normal build steps.

Details and comments

Signed-off-by: Paul S. Schweigert <[email protected]>

Fixes Qiskit#1473

The `gateway/media` directory is currently ignored by git. If the user
happens to have created that directory locally for some
reason (running tests?) then the docker build fails.

This patch implements a simple fix for docker to ignore the local media
diretory when building the container image.
Copy link
Member

@Tansito Tansito left a comment

Choose a reason for hiding this comment

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

LGTM Paul, thank you!

@psschwei psschwei merged commit 24b36c0 into Qiskit:main Sep 3, 2024
10 checks passed
@psschwei psschwei deleted the drop-gateway-media branch September 3, 2024 19:13
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.

docker-compose with media folder
2 participants