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

issue with a binder url in a repository where docker and binder images with same naming exist #98

Open
mlampros opened this issue Mar 1, 2023 · 1 comment
Labels
enhancement New feature or request

Comments

@mlampros
Copy link

mlampros commented Mar 1, 2023

First of all thank you for making this repository publicly available.

In one of my Github repositories I've setup both a docker image and a binder instance using dockerfiles. I have a Github Action .yml file that first creates and pushes the docker image to the docker hub and in the last step it creates a docker image named as "icesat2rbinder" (and not as "icesat2r" which is the name of the Github repo) because the docker image initially didn't work (probably due to naming overlapping between the docker and the binder image).
In the root of the directory I use 3 dockerfiles and the one named as Dockerfile is for the binder instance.

After this setup, I would expect that using the following url in the "binder badge"

https://mybinder.org/v2/gh/mlampros/icesat2r/HEAD?urlpath=rstudio

binder would pick the icesat2rbinder docker image and initialize the binder Rstudio instance, however this is not the case as I receive errors. In the last 2 days I tried also to use different urls such as

https://mybinder.org/v2/gh/mlampros/icesat2rbinder/HEAD?urlpath=rstudio

but I don't think it is correct.

I took a look also to the binderhub documentation and binder examples but none of these cover my specific case.

Is my set-up correct and will the binder-url as described previously work?

(the attached images show the logs and the error when trying to access binder)

binder_logs

binder_inaccessible

@mlampros mlampros added the enhancement New feature or request label Mar 1, 2023
@welcome
Copy link

welcome bot commented Mar 1, 2023

Thank you for opening your first issue in this project! Engagement like this is essential for open source projects! 🤗

If you haven't done so already, check out Jupyter's Code of Conduct. Also, please try to follow the issue template as it helps other other community members to contribute more effectively.
welcome
You can meet the other Jovyans by joining our Discourse forum. There is also an intro thread there where you can stop by and say Hi! 👋

Welcome to the Jupyter community! 🎉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant