Adding a devcontainer to Andino repository #264
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Created a devcontainer for Andino
A DevContainer (short for Development Container) is an isolated development environment that uses containers to provide a consistent and reproducible development setup. DevContainers allow developers to work in an environment configured specifically for a project without needing to install all dependencies on their local machine. This is particularly useful for development teams, as it ensures that all members work in an identical environment.
Key Features of a DevContainer
Environment Isolation: Each DevContainer is independent and does not affect or get affected by the host operating system.
Reproducible Configuration: The environment configuration, including all dependencies and tools, is defined in configuration files, ensuring that all developers use the same setup.
Consistency: Facilitates replicating the development environment across different machines, eliminating issues related to local configuration differences.
Ease of Use: DevContainers can be easily shared and used by other developers by simply cloning the repository and opening the container.
Key Files
devcontainer.json: Configuration file that defines the development environment, including the Docker base image, VS Code extensions, initialization scripts, and environment variables. Normally located into a .devcontainer directory.
Dockerfile (optional): File that describes the custom Docker image to be used for the DevContainer.
This devcontainer is configurated to use the same dockerfile located into the Andino repository. Also is intended to use same NVIDIA drivers configuration inside the devcontainer. Finally, I did pass some vscode extensions and arguments to properly run the Andino's simulation.
NOTICE: THIS DEVCONTAINER IS DESIGNED TO WORK WITH NVIDIA DRIVERS BUT WE HAVE NOT TESTED FOR DEVICES WITH NO NVIDIA DRIVERS.
Notes:
@francocipollone Please checkout this PR and provide me feedback if there is anything I need to fix or change before accepting this PR.
@JADC362 Thank for the support during the development of this new feature for Andino.