From 0ea4fa96f4e6a1de27f50a97db9007e14958547d Mon Sep 17 00:00:00 2001
From: Profpatsch <mail@profpatsch.de>
Date: Tue, 2 Apr 2019 12:10:28 +0200
Subject: pkgs/profpatsch: add dhall types for s6 servicedir

First version of a way to build s6 services using `dhall-to-nix`.
Includes a small library that formalizes the tables in `man 7 signal`.
---
 .../s6/dhall/ServiceDirectory/default-type.dhall        | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 pkgs/profpatsch/s6/dhall/ServiceDirectory/default-type.dhall

(limited to 'pkgs/profpatsch/s6/dhall/ServiceDirectory/default-type.dhall')

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
-- 
cgit 1.4.1