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 + } +}