summaryrefslogtreecommitdiff
path: root/isabelle-nix-fhsenv
diff options
context:
space:
mode:
authorstuebinm2021-05-12 19:38:45 +0200
committerstuebinm2021-05-12 19:38:45 +0200
commit49c079b623bbbf56cbab607b1008e3f537f50935 (patch)
tree1e9b6f4cdb1eb0356eb4fe6ca24cfae8367f89e9 /isabelle-nix-fhsenv
parent2b83a3f6b808cce5057a96e3911bf17ef4e0b68e (diff)
better nix-modules in oci container
Short overview: - cleaner code - more comments - support for systemd services that are configured via `serviceConfig` - got rid of bash (using dash for everything now)
Diffstat (limited to 'isabelle-nix-fhsenv')
0 files changed, 0 insertions, 0 deletions