Merge pull request #110 from TheoLeCalvar/master

Use prebuilt dev container image

Author: massimotisi

.devcontainer/Dockerfile

@@ -2,17 +2,7 @@
 // https://github.com/microsoft/vscode-dev-containers/tree/v0.224.2/containers/debian
 {
 	"name": "Debian",
-	"build": {
-		"dockerfile": "Dockerfile",
-		// Update 'VARIANT' to pick an Debian version: bullseye, buster
-		// Use bullseye on local arm64/Apple Silicon.
-		"args": { 
-			"VARIANT": "bullseye",
-			"OPAM_VERSION": "2.1.2",
-			"OPAM_ARCH": "x86_64",
-			"COQ_VERSION": "8.15.0"
-		}
-	},
+	"image": "ghcr.io/atlanmod/vsc-coqtl:latest",
 
 	// Set *default* container specific settings.json values on container create.
 	"settings": {

.devcontainer/devcontainer.json

@@ -63,7 +63,7 @@ Instead of installing coq directly on your machine you can use Visual Studio Cod
 
 When opening the project with Visual Studio Code the editor will ask you to install the [Remote - Containers](https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers) extension to use the feature. Be sure to read the "Install" section of the [remote containers extension](https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers) to correctly install and setup docker on your machine.
 
-Then, once the remote container extension is installed and docker setup, Visual Studio Code will inform you that the current workspace can be opened in a container. Click "Reopen in Container" to start building the container. Be patient, first launch will take several minutes to build the image. The image only to need to be built once, next launches are faster.
+Then, once the remote container extension is installed and docker setup, Visual Studio Code will inform you that the current workspace can be opened in a container. Click "Reopen in Container" to start building the container. Be patient, docker will first download the image which can take some time depending on your internet connection. The image only to need to be built once, next launches are faster.
 
 
 Coq theories can be found in `/home/vscode/.opam/default/lib/coq/theories`. One can add this folder to its workspace by right clicking in the exporer panel and selecting "Add folder to workspace".