Add dev container

[ajayyy]

A dev container let's you start a vscode workspace with all dependencies and extensions installed. The editing will happen in a docker container, so it will ensure that everyone has the same setup. Using the containers vscode extension, the project will be able to be opened as a "container" locally with everything pre-installed.

This also allows you to quickly start a new environment in the web, or connecting remotely to the web from vscode, without even having to install WSL.

TODO:

• Clone submodules
• Clone private submodule (SBG library) Codespaces - Private Repos and Codespaces: Enable Submodule Cloning microsoft/vscode#109050
• Add kit configuration (since the images will be consistent)
• Make sure everything can be build
• Have other people test it out on their environments
• Add Clang configuration (maybe)
• Build docker image automatically to speed up launch?

[jonapap]

Seems it is not a fully released feature, right? You have to go on a waitlist? https://github.com/features/codespaces

[ajayyy]

Oh, I guess I have early access. This can still be used with the Remote - Containers vscode extension though. Maybe we do need gitpod then.

[jonapap]

Just realized, why don't we use this (a dev container) instead of this repo? https://github.com/uorocketry/docker-rocket-code/blob/main/Dockerfile Was there a reason that we didn't do this?

[ajayyy]

I think it kind of works right now, but is missing the private submodules

[seofernando25]

I think it kind of works right now, but is missing the private submodules

The private submodule issue is fixed now (since there are no more private submodules we need to pull)

[ajayyy]

https://github.blog/2022-02-23-codespaces-largest-repositories-faster/