Docker container based on 4ever2's au-fsv docker container. The container can be used for easy cross-platform Rocq/Iris development using Visual Studio Code. The container configuration will automatically install the VsRocq extension for Visual Studio Code and configure Rocq-related settings.
The precise software used in this image can be found in src/Dockerfile.
- Install Docker
- Make sure Docker is running
- Install Visual Studio Code
- Install Dev Containers extension
- Copy the
.devcontainerfolder to the root of your project folder
After following the above instructions open your project in Visual Studio Code and run the >Dev Containers: Open Folder in Container command.
If the instructions are followed correctly Visual Studio Code should also automatically suggest opening the repository in container mode when the project is loaded.
See here
Make sure that Docker is installed and running.
You need to have the Remote - Containers extension VSCode extension installed and enabled. See here for instructions on how to install it.
Make sure you copied the .devcontainer folder to your project's root folder and that it includes the devcontainer.json file.
Run docker pull --platform linux/amd64 <the docker link> to force the x86 version of the Docker container to be installed.
This should then trick Docker into using some kind of emulation, and the software should work natively.
Docker Hub rate limits pulls of images for free accounts to 200 per six hours. If this limit is hit you might get one of the following errors and have to wait until the rate limit resets.
ERROR: toomanyrequests: Too Many RequestsYou have reached your pull rate limit. You may increase the limit by authenticating and upgrading: https://www.docker.com/increase-rate-limits