- Module Handbook
- Assignments
- Cloud VSCode IDE
- GitHub CodeSpaces
- Manage: https://github.com/codespaces/
- Shutdown:
gh cs stop
- Issues:
- Ports need to be set to
public
manually (this can't be automated and is tedious)- Allow for ports to be public by default #4068
gh codespace ports visibility 8000:public -c $CODESPACE_NAME
- Ports need to be set to
- GitPod
- Manage: https://gitpod.io/workspaces
- Shutdown:
gp stop
- Issues:
git push
wont work until permissions are set- GitPod: granting-additional-github-oauth-permissions
public_repo
,repo
andworkflow
- GitPod: granting-additional-github-oauth-permissions
- GitHub CodeSpaces