schema: add Init record

This commit is contained in:
leo 2023-05-17 19:59:38 +02:00
parent 2eef5a1328
commit 8549e0188d
Signed by: wanderer
SSH Key Fingerprint: SHA256:Dp8+iwKHSlrMEHzE3bJnPng70I7LEsa3IJXRH/U+idQ
3 changed files with 14 additions and 7 deletions

@ -1,10 +1,10 @@
{ Schema =
./schema.dhall
sha256:1aa8c2f42fc6fc3055a35c1285314340f934aa50226c6cdc96f8d19471a84835
sha256:d393b005ad10d5b8e775956dbc4e792c9da9c7760baf03e537dfac52b1ecfd31
? ./schema.dhall
, Schema/validate =
./validate.dhall
sha256:78f05c1c7d49d3d8854b8a000600a30e55c7c2771bf9f91dc4717ef30a191a91
sha256:aff9136148e3214a4ea0f091901516cf5e74eb24648492b60fa9ee6892e1237b
? ./validate.dhall
, Schema/version =
./version.dhall

@ -40,7 +40,7 @@ let Schema =
, MaxAge : Natural
}
, Logger : { JSON : Bool, Fmt : Optional Text }
, InitialAdminPassword : Text
, Init : { CreateAdmin : Bool, AdminPassword : Text }
, Registration : { Allowed : Bool }
}
, default =
@ -78,9 +78,16 @@ let Schema =
, MaxAge = 3600
}
, Logger = { JSON = True, Fmt = None Text }
, InitialAdminPassword =
, Init =
{ CreateAdmin =
-- | if this is True, attempt to create a user with admin
-- | privileges with the password specified below (or better -
-- | overriden); it fails if users already exist in the DB.
False
, AdminPassword =
-- | used for the first admin, forced change on first login.
"50ce50fd0e4f5894d74c4caecb450b00c594681d9397de98ffc0c76af5cff5953eb795f7"
}
, Registration.Allowed = True
}
}

@ -5,7 +5,7 @@ let Prelude =
let Schema =
./schema.dhall
sha256:1aa8c2f42fc6fc3055a35c1285314340f934aa50226c6cdc96f8d19471a84835
sha256:d393b005ad10d5b8e775956dbc4e792c9da9c7760baf03e537dfac52b1ecfd31
? ./schema.dhall
let Schema/validate