No description
9653bdcf69
Newer versions of nginx apparently hard-crash if they can't write a PID file in the current directory. To work around this, some writeable scratch space is created for the nginx daemon to write its PID to. |
||
---|---|---|
infra | ||
overrides | ||
secrets | ||
services | ||
third_party | ||
tools | ||
.envrc | ||
.gitignore | ||
.travis.yml | ||
ci-builds.nix | ||
default.nix | ||
LICENSE | ||
read-tree.nix | ||
README.md |