Skip to content

Conversation

@er2
Copy link
Contributor

@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.

@er2 er2 force-pushed the devcontainer branch 2 times, most recently from 3844f9e to ea864fc Compare November 24, 2024 01:00
@er2 er2 changed the title Devcontainer Development Containers Nov 24, 2024
@rlepigre
Copy link
Collaborator

Thanks for your PR, I just gave this a try and this works pretty well. Sorry it took so long for one of us to get back to you. 😅

@rlepigre
Copy link
Collaborator

Pushed a few edits, will merge now.

@rlepigre rlepigre merged commit 5c81a00 into phyver:master Dec 28, 2025
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