- Remove 'trap ... EXIT' that kills services when entering the dev shell - Fix DATABASE_URL: $USER → $USER (no backslash) so bash expands it instead of passing the literal string 'USER' as the PG role name |
||
|---|---|---|
| .. | ||
| build.nix | ||
| c-nif.nix | ||
| docker.nix | ||
| shell.nix | ||