Back to Main README

This project is setup to run in a DevContainer. Ensure requirements to run in a DevContainer:

1. Git installed
2. Source Tree for GitLab setup (see Install user interface and Configure GitLab for Source Tree)
3. Docker installed
4. Visual Studio Code (VS Code) installed
5. VS Code Extension Remote Container installed

Your SSH folder and Git config gets mapped to the container. You should be able to use SSH and Git inside the container. Please ensure ~/.gitconfig doesn't contain absolute paths (you may use the ~ profile prefix, i.e. excludesfile = ~/.gitignore_global). Please note: You probably have to update Sourcetree settings. In its settings "General" tab uncheck "Allow Sourcetree to modify your global Mercurial and Git configuration files".

Click on the icon similar to "><" in the bottom left corner and select Remote-Containers: Reopen in Container. If any changes were made to files in .devcontainer folder the Container should be rebuilt (Remote-Containers: Rebuild Container)

NOTE: When the setup is fully installed, select View -> Command Palette... and run the command OCaml: Restart Language Server

Back to Main README