1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15

[Unit]
Description=alloy-viz headless Alloy solver (varlink)
After=network.target

[Service]
Type=simple
# Service mode runs the varlink half only: there is no single model file for a
# long-running daemon to watch. Start `alloy-viz <model.als>` by hand when you
# want the web UI; it will notice the socket is taken and skip binding it.
ExecStart=%h/.nix-profile/bin/alloy-viz -no-web
Restart=on-failure
RestartSec=5

[Install]
WantedBy=default.target