Skip to content

Update selecting.md #2307

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

Merged
merged 2 commits into from
Aug 3, 2025
Merged

Update selecting.md #2307

merged 2 commits into from
Aug 3, 2025

Conversation

snunez1
Copy link
Contributor

@snunez1 snunez1 commented Jul 23, 2025

Add lisp-stat community image

Describe your changes

Add lisp-stat as a community image. This is a documentation change only.

Question: How should binder be handled for an image that is based on devcontainer features? This image is built with the devcontainer CLI and does not have a docker file. For cloud deployments, I'm recommending github codespaces (see the README for how this is done).

Perhaps a code spaces badge instead of binder? Or an empty repo with just a docker file pointing to the image? Or just leave it pointing to github?

Add lisp-stat community image
@mathbunnyru
Copy link
Member

How should binder be handled for an image that is based on devcontainer features?

Unfortunately, I don't know the answer here, I think you should search/ask that in a binder community.

Perhaps a code spaces badge instead of binder? Or an empty repo with just a docker file pointing to the image? Or just leave it pointing to github?

Could you create a classic Docker image, and provide binder for it?

@snunez1
Copy link
Contributor Author

snunez1 commented Jul 28, 2025

OK, I see what I have to do. Binder appears to only do Docker, so I'll have to create a repository with just a DOCKERFILE to refer to the image.

@snunez1
Copy link
Contributor Author

snunez1 commented Aug 3, 2025

Fixed. Added link to lisp-stat on mybinder.org.

@mathbunnyru mathbunnyru merged commit bcabde4 into jupyter:main Aug 3, 2025
4 checks passed
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