From 9877d1616646d574d0f44d9fb5419dbc561872bc Mon Sep 17 00:00:00 2001 From: Stephen Paul Weber Date: Tue, 28 May 2024 09:27:57 -0500 Subject: [PATCH] Add example config --- Makefile | 2 ++ config-schema.dhall | 3 +++ config.dhall.sample | 10 ++++++++++ 3 files changed, 15 insertions(+) create mode 100644 Makefile create mode 100644 config-schema.dhall create mode 100644 config.dhall.sample diff --git a/Makefile b/Makefile new file mode 100644 index 0000000000000000000000000000000000000000..577624e48b4f5e45ceb3262badf4b54579b4e184 --- /dev/null +++ b/Makefile @@ -0,0 +1,2 @@ +config-schema.dhall: config.dhall.sample + dhall type < config.dhall.sample > config-schema.dhall diff --git a/config-schema.dhall b/config-schema.dhall new file mode 100644 index 0000000000000000000000000000000000000000..6b7b6bf7972c647e5d83bca059eb9b8b20b914d8 --- /dev/null +++ b/config-schema.dhall @@ -0,0 +1,3 @@ +{ component : { jid : Text, secret : Text } +, server : { host : Text, port : Natural } +} diff --git a/config.dhall.sample b/config.dhall.sample new file mode 100644 index 0000000000000000000000000000000000000000..edb4689f294f91e83ed3688fa7f084179796292e --- /dev/null +++ b/config.dhall.sample @@ -0,0 +1,10 @@ +{ + component = { + jid = "component.localhost", + secret = "secret" + }, + server = { + host = "localhost", + port = 5347 + } +}