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

Development Containers #137

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Development Containers #137

wants to merge 1 commit into from

Conversation

er2
Copy link

@er2 er2 commented Aug 26, 2023

Development Containers are a tool that creates a one click experience for spinning up a client/server version of VSCode from a container that can be customized with any development stack you want.

GitHub Codespaces is GitHub's hosted Development Containers service. It makes for the smoothest experience, but is only free for a limited number of hours.

Changing from to FROM in Dockerfile was necessary to fix a weird bug I encountered on github codespaces but not locally with the devcontainers cli. Looks like you did that yourself since I first posted this.

@@ -30,6 +30,8 @@ We are particularly interested in any new missions you might create!
Getting started
---------------

[![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://github.com/codespaces/new?repo=683544958)
Copy link
Author

Choose a reason for hiding this comment

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

This number refers to my fork. Don't accept this PR without changing it to your ID, which will be 94422621.

I found the IDs by poking around in the HTML of the button on GitHub that launches Codespaces.

@er2 er2 changed the title Devcontainer Development Containers Nov 24, 2024
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.

1 participant