Windows development environment
Prepare a Windows machine to run SPLENT. You work inside WSL, with Docker Desktop integrated into it. SSH access to the forge (git.splent.io, port 2223) is optional, since every repository is public and the CLI clones over HTTPS without it.
Table of contents
Install WSL
Install Windows Subsystem for Linux and a distribution such as Ubuntu. Open PowerShell and run this, then reboot if Windows asks.
wsl --install
Open the Linux shell from Ubuntu in the Start Menu, or with wsl from PowerShell.
wsl
Run every SPLENT command, and every command on this page from here on, inside WSL, not in PowerShell.
Install GNU Make and Git
A fresh WSL distribution does not ship GNU Make, and
SPLENT is driven through make.
sudo apt update
sudo apt install -y make git
Check that both are available.
make --version
git --version
Install Docker Desktop
Install Docker Desktop for Windows. Then open Settings → Resources → WSL Integration and enable your distribution (for example Ubuntu).
Check that Docker works inside WSL.
docker --version
docker ps
Configure Git
The CLI container mounts your ~/.gitconfig from WSL. If the file does not exist, Docker mounts it as a directory and Git fails inside the container. Create the file and set your identity. The first line removes ~/.gitconfig only when it is a directory.
[ -d ~/.gitconfig ] && rm -rf ~/.gitconfig
touch ~/.gitconfig
git config --global user.name "Your Name"
git config --global user.email "your_email@example.com"
Check that it is a regular file, not a directory.
ls -l ~/.gitconfig
Then continue with Getting started.