For comprehensive provisioning and deployment instructions, see:
- provisioning.md - Full guide for setting up new servers
- deployment.md - Quick reference for deploying to existing servers
- local-vm.md - Running jl4-demo VM locally for testing
| Target | Domain | Environment |
|---|---|---|
jl4-demo |
jl4.well-typed.com |
Local VM / Hetzner demo |
jl4-aws-2505 |
jl4.legalese.com |
Production AWS EC2 |
jl4-dev |
dev.jl4.legalese.com |
Dev/staging AWS EC2 |
Note: jl4-demo can be run as a local QEMU VM for testing. See local-vm.md for details.
# Remote deployment
nixos-rebuild switch --flake .#jl4-dev --target-host root@dev.jl4.legalese.com
# Or on the server
ssh root@dev.jl4.legalese.com
cd /path/to/l4-ide && git pull
nixos-rebuild switch --flake .#jl4-devFor AWS EC2:
# 1. Launch Ubuntu EC2 instance
# 2. Configure DNS: dev.jl4.legalese.com → [EC2 IP]
# 3. Enable root SSH on the Ubuntu instance
# 4. Run nixos-anywhere from your local machine:
nixos-anywhere --flake .#jl4-dev root@dev.jl4.legalese.comSee provisioning.md for detailed step-by-step instructions.
/var/lib/acme/- Let's Encrypt certificates/var/lib/private/jl4-websessions/- SQLite database with saved sessions