Add devcontainer

[SergioGasquez]

Adding devcontainer to enable the use of Visual Studio Code remote containers to have a working environment with necessary dependencies among useful VSCode settings and extensions.

It also includes proper files to run Wokwi simulator with the exercises

[georgik]

Note: When running the container on Podman 4 for macOS, it's necessary to specify mount-points when initializing VM so that it can be mounted to container. Examples of initialization:

podman machine init --disk-size 80  --cpus 8 -m 4096 -v /Users/georgik/projects/espressif-training:/Users/georgik/projects/espressif-trainings

More details about mount-points: containers/podman#8016 (comment)

Please include this hint in DevContainer file or in the documentation.

@Mirabellensaft , @spookyvision : Please review this PR for adding support for DevContainer for VS Code.

[SergioGasquez]

Note: When running the container on Podman 4 for macOS, it's necessary to specify mount-points when initializing VM so that it can be mounted to container. Examples of initialization:

podman machine init --disk-size 80  --cpus 8 -m 4096 -v /Users/georgik/projects/espressif-training:/Users/georgik/projects/espressif-trainings

More details about mount-points: containers/podman#8016 (comment)

Please include this hint in DevContainer file or in the documentation.

@Mirabellensaft , @spookyvision : Please review this PR for adding support for DevContainer for VS Code.

Added information about this in the esp-rs-devcontainer repository and a reference to it in espressif-trainings readme.

[Mirabellensaft]

Hi @SergioGasquez thank you for the contribution, I will test on Monday!

[SergioGasquez]

I updated my main branch with a Dockerfile, so users can edit devcontainer.json to choose between using the built image or the Dockerfile.

Same could be done in .gitpod.yml, although this is currently not working due to gitpod-io/gitpod#7754.

Kudos to @georgik for the idea!

[justahero]

Hello @SergioGasquez,

thanks for the update.

looks like I was a bit late, I tested an earlier state of your branch Dockerfile (I think it was this commit). Let me check again.

[SergioGasquez]

Hello @SergioGasquez,

thanks for the update.

looks like I was a bit late, I tested an earlier state of your branch Dockerfile (I think it was this commit). Let me check again.

Sorry for merging it in advance, that commit includes the main changes of the branch. Let me know how it went! 😄

[justahero]

My recommentation is to remove these compilation checks from the Dockerfile. One option is to make these run in a CI pipeline. But this is outside of the scope of this PR.

[justahero]

I suggest to use the build property with the local Dockerfile as the default, otherwise the dev environment relies on this particular image to be available.

[justahero]

Do you know if it's possible to specify the user for Gitpod via .gitpod.yml or is it always a user named gitpod? I checked the documentation but could not find anything in my initial search related to that.

One option I see is to specify the Docker user explicitly (for example "esp"), regardless of the environment. This way the user would be consistent for docker CLI, VS Code devcontainer, Gitpod, etc. Some parts of the code also require a specific user to be present, for example file wowki/wowki-server.py expects its paths to contain name vscode.