This project is setup to run in a DevContainer. Ensure requirements to run in a DevContainer:
- Git installed
- Source Tree for GitLab setup (see Install user interface and Configure GitLab for Source Tree)
- Docker installed
- Visual Studio Code (VS Code) installed
- 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 commandOCaml: Restart Language Server
There is an Adminer
container added to the development package. To be able to use it, follow these few steps:
- Uncomment its line in the
.devcontainer/devcontainer.json
underrunServices
- Use
Remote-Containers: Rebuild Container
that it will also create and startup theAdminer
container - Open your web browser and open
localhost:8080
- Use the development credentials defined for the development database in your
.env
file (default:user: root
,password: <empty/none>
,host: database
,database: development
)