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.

Sign up for GitHub

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

Jump to bottom

Provide a devcontainer to be used in Codespace #1052

Open
2 tasks
turnmanh opened this issue Mar 20, 2024 · 2 comments · May be fixed by #1070
Open
2 tasks

Provide a devcontainer to be used in Codespace #1052

turnmanh opened this issue Mar 20, 2024 · 2 comments · May be fixed by #1070
Assignees
@turnmanh
Labels
enhancement New feature or request
Milestone
Hackathon 2024

Comments

@turnmanh
Copy link

turnmanh commented Mar 20, 2024 •
edited

Is your feature request related to a problem? Please describe.

Currently, people have to install the toolbox to run the tutorials and start using it. With a devcontainer, they could start exploring and using the toolkit right away.

Describe the solution you'd like

Provide a devcontainer and a toolkit-specific Docker image. The devcontainer should have the req. VS Code extensions installed right away. This would fix #554 as well.

  • ./devontainer incl. VS Code config.
  • Dockerfile setup to run the toolkit

Describe alternatives you've considered

Include launch binder but that would limit the usability. (#554)
@turnmanh turnmanh added the enhancement New feature or request label Mar 20, 2024
@turnmanh turnmanh added this to the Hackathon 2024 milestone Mar 20, 2024
@turnmanh turnmanh self-assigned this Mar 20, 2024
@turnmanh
Copy link
Author

@Ziaeemehr, your intention to provide a Docker image would also support this proposal.

@janfb
Copy link
Contributor

janfb commented Mar 20, 2024

related to #1056

turnmanh added a commit that referenced this issue Mar 20, 2024
@turnmanh
added simple devcontainer setup, fixes #1052
99b1db1
@turnmanh turnmanh linked a pull request Mar 20, 2024 that will close this issue
Draft
8 tasks
@turnmanh turnmanh linked a pull request Mar 20, 2024 that will close this issue
Adding simple dev container #1070
Draft
8 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@turnmanh turnmanh

Labels
enhancement New feature or request
Projects
None yet
Milestone
Hackathon 2024
Development

Successfully merging a pull request may close this issue.

Adding simple dev container sbi-dev/sbi
2 participants
@janfb @turnmanh