diff options
| author | Profpatsch <mail@profpatsch.de> | 2019-04-02 12:10:28 +0200 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2019-04-02 12:12:53 +0200 |
| commit | 0ea4fa96f4e6a1de27f50a97db9007e14958547d (patch) | |
| tree | 084cce0b4a75642c021b3f76ebe768be1fed7dc9 /pkgs/profpatsch/s6/dhall/unix/Signal/common/standard.dhall | |
| parent | a015bbe903ccc0e5f8736d41f14c768672929564 (diff) | |
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`.
Diffstat (limited to 'pkgs/profpatsch/s6/dhall/unix/Signal/common/standard.dhall')
| -rw-r--r-- | pkgs/profpatsch/s6/dhall/unix/Signal/common/standard.dhall | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/common/standard.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/common/standard.dhall new file mode 100644 index 00000000..7836bf10 --- /dev/null +++ b/pkgs/profpatsch/s6/dhall/unix/Signal/common/standard.dhall @@ -0,0 +1,25 @@ +{ SIGHUP = + 1 +, SIGINT = + 2 +, SIGQUIT = + 3 +, SIGILL = + 4 +, SIGTRAP = + 5 +, SIGABRT = + 6 +, SIGFPE = + 8 +, SIGKILL = + 9 +, SIGSEGV = + 11 +, SIGPIPE = + 13 +, SIGALRM = + 14 +, SIGTERM = + 15 +} \ No newline at end of file |