It automates the process of creating a repository inside of CS50’s GitHub organization, pushing to it an initial. Ultimately, it allows students to start programming with just a browser, without needing to install or configure anything locally on their own computer.ĭevcontainer.json, and creating a “codespace,” which is a Docker “container” in the cloud (akin to your very own virtual server). Within their browser is a full-fledged version of Visual Studio Code, aka VS Code, including a tabbed text editor, terminal window (connected to a Docker container running cs50/codespace), and graphical file explorer. You can also use VS Code locally, even offline without internet, particularly if feeling more comfortable. Git īecause a codespace is already associated with a Git repository in CS50’s code50 organization at, which is used for automated backups, CS50 effectively disables git anytime you’re inside of /workspaces/$RepositoryName (which is a codespace’s default directory), wherein $RepositoryName is your (numeric) GitHub ID. However, you can still use git outside of that directory, as by cloning other repositories into /workspaces itself.

For instance, if you’d like to clone into a codespace, you could executeĬd / workspaces git clone https : // github. VS Code supports quite a few settings via which you can customize a codespace: Note that only /workspaces/$RepositoryName will be automatically backed up to CS50’s code50 organization repositories that you clone into /workspaces will not.Ĭom / octocat / Hello - World cd Hello - WorldĪt which point you could use git within that /workspaces/Hello-World directory as usual. User settings, which “apply globally to any instance of VS Code you open” and can be applied to codespaces as well via Settings Sync. Remote settings, which are set by CS50 via.

Workspace settings, which can be set by you via VS Code’s GUI (or by editing. Workspace settings override Remote settings.

Java in visual studio code