After coming home with Microsoft, more and more good and free things come to GitHub. This time, a long awaited features are in beta, invitation only, and it is
- 1. Extremely short introduction
- 2. Using GitHub codespaces
- 3. Some interesting things I found
1. Extremely short introduction
Codespaces, in short, is a Linux virtual machine running
vscode server, and allow you to access it via any web browser.
Microsoft introduce it codespaces first in Visual Studio Online, using your Azure account to charge. GitHub codespaces is in early access stage, so everything is free for now.
To request early access GitHub codespaces, here is the link: https://github.com/features/codespaces
2. Using GitHub codespaces
When you’re invited to use codespaces, your GitHub’s repositories will have another options in open button
2.1. Change theme
The default theme for VSCode is light. Light attracting bugs. So we need to change it dark
The normal themes used by vscode is not worked, so we need to use an extension developed by GitHub called
Sadly, the icon theme is fixed with 1 of the 2 default set.
Except some settings related to themes and icon that have no effect, almost all other settings are the same. You can just copy and past the settings from your local
vscode to codespaces
2.3. Install your programming language extensions
I think every programming language extension worked as it should be, but first, you will need to setup the development environment in Linux.
For example, to use Java, you will need to install JDK on linux, then Java Extension Pack for a complete list of Java extensions in vscode.
C/C++ and Python extension are pre-installed
When you open a project, based on the language, some language extension will be pre-installed
2.4. Work with multiple repository
By default, 1 codespaces can only work with 1 repository. I will use SSH key to have access to every repositories on my Github.
- Generate SSH key
$ ssh-keygen -t rsa -b 4096 -C "firstname.lastname@example.org"
- Add ssh key to ssh agent
$ eval "$(ssh-agent -s)" > Agent pid xxxxx $ ssh-add ~/.ssh/id_rsa
- Add the public key to GitHub
Add the key to settings at SSH settings
- Change repo remote URL from HTTPS to SSH
git remote set-url origin email@example.com:<Username>/<Project>.git
3. Some interesting things I found
- The codespaces running on Debian 9.13 –
- 4GB of RAM –
- Using 2 core of the Intel(R) Xeon(R) Platinum 8168 CPU @ 2.70GHz –
cat /proc/cpuinfo | grep processor | wc -l
The vscode version is the latest Insider version, so expect some errors and unstable features
One thought on “GitHub codespaces – write code in web browser”
Giáo sư hướng dẫn dễ hiểu ghê