Re:GitHub Codespaces
by paavohtl on Wednesday May 06, 2020 @02:07PM
(#23094336)
It does have extensions[1]. It just might not be able to run _all_ extensions.
[1] From the link: "Inside of a codespace, you’ll have access to the Visual Studio Code Marketplace, and you can preload any extensions you want loaded at launch using a devcontainer configuration file. You can also personalize your codespace by pulling in dotfiles."
[1] From the link: "Inside of a codespace, you’ll have access to the Visual Studio Code Marketplace, and you can preload any extensions you want loaded at launch using a devcontainer configuration file. You can also personalize your codespace by pulling in dotfiles."