diff options
Diffstat (limited to 'pkgs/profpatsch/s6/dhall/ServiceDirectory')
3 files changed, 38 insertions, 0 deletions
diff --git a/pkgs/profpatsch/s6/dhall/ServiceDirectory/default-type.dhall b/pkgs/profpatsch/s6/dhall/ServiceDirectory/default-type.dhall new file mode 100644 index 00000000..b560ab0e --- /dev/null +++ b/pkgs/profpatsch/s6/dhall/ServiceDirectory/default-type.dhall @@ -0,0 +1,17 @@ +{ finish : + Optional Text +, up : + Bool +, setid : + Bool +, notification-fd : + Optional Natural +, timeout-kill : + Natural +, timeout-finish : + Natural +, max-death-tally : + Natural +, down-signal : + ./../imports/Signal/type.dhall +} \ No newline at end of file diff --git a/pkgs/profpatsch/s6/dhall/ServiceDirectory/default.dhall b/pkgs/profpatsch/s6/dhall/ServiceDirectory/default.dhall new file mode 100644 index 00000000..c41fff5c --- /dev/null +++ b/pkgs/profpatsch/s6/dhall/ServiceDirectory/default.dhall @@ -0,0 +1,20 @@ +let Signal = ./../imports/Signal.dhall + +in { finish = + None Text + , up = + True + , setid = + True + , notification-fd = + None Natural + , timeout-kill = + 0 + , timeout-finish = + 5000 + , max-death-tally = + 100 + , down-signal = + Signal.SIGTERM + } + : ./default-type.dhall \ No newline at end of file diff --git a/pkgs/profpatsch/s6/dhall/ServiceDirectory/type.dhall b/pkgs/profpatsch/s6/dhall/ServiceDirectory/type.dhall new file mode 100644 index 00000000..5ca3b407 --- /dev/null +++ b/pkgs/profpatsch/s6/dhall/ServiceDirectory/type.dhall @@ -0,0 +1 @@ +./default-type.dhall ⩓ { run : Text } \ No newline at end of file |