Due to the nature of devcontainers vsocde will handle the cloning of the repository whilst the dockerfile will provide the surrounding environment.
Whilst this configuration works it isn't setup in the recomended way for devcontainers.
The Dockerfile clones the git repo for LLVM and Teaching-Software-Analysis. Additionally, devcontainers clone the Teaching-Software-Analysis to a custom path that's mapped to the file system /workspaces/Teaching-Software-Analysis. As a result the build is run again as a postCreateCommand.
I've added additional build artefacts to the .gitignore file.
Due to the nature of devcontainers vsocde will handle the cloning of the repository whilst the dockerfile will provide the surrounding environment.
Whilst this configuration works it isn't setup in the recomended way for devcontainers.
The Dockerfile clones the git repo for
LLVM
andTeaching-Software-Analysis
. Additionally, devcontainers clone theTeaching-Software-Analysis
to a custom path that's mapped to the file system/workspaces/Teaching-Software-Analysis
. As a result the build is run again as apostCreateCommand
.I've added additional build artefacts to the
.gitignore
file.fixes #47