Skip to the content.

Tips and Tricks

This page has some tips and tricks for working with VS Code in GitHub Codespaces.

Caution

Keyboard Shortcuts Overriden by Browser

Regular users of VS Code may find that common keyboard shortcuts in (e.g.,Ctrl+n to create a new file) are overidden in by the internet browser keyboard shortcuts (e.g., Ctrl+n to open a new window) when using GitHub Codespaces. So, be aware that the function of the keystroke for your web browser will occur when you execute it in the codespace. That is, if you press Ctrl+n while in the GitHub Codespace, a new browser window will open and no new VS Code file will be created.

Improving efficiency

1
2
3
<?xml-model href="../schema/cyclus.rng"
           type="application/xml"
           schematypens="http://relaxng.org/ns/structure/1.0"?>