Programming Frameworks and Languages

• Module Handbook
  • Assignments
    1. digital_artifact
    2. technical_report
• Cloud VSCode IDE
  • GitHub CodeSpaces
    • 
      • https://codespaces.new/USERNAME/REPO?quickstart=1
    • 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
  • GitPod
    • 
      • https://gitpod.io/#https://github.com/USERNAME/REPO
    • 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 and workflow