schema: rename Logger attr Json to JSON

This commit is contained in:
leo 2023-05-12 23:00:37 +02:00
parent 5ef6964d41
commit 2652bb9d22
Signed by: wanderer
SSH Key Fingerprint: SHA256:Dp8+iwKHSlrMEHzE3bJnPng70I7LEsa3IJXRH/U+idQ
3 changed files with 5 additions and 5 deletions

@ -1,10 +1,10 @@
{ Schema =
./schema.dhall
sha256:3bd2caed23192f7d8a6e6ff0ce51886c9fd382d02c0e949a8349003c9ba9f6c5
sha256:12bd172676c7db8ed849f74718378adead421710f71fb7d92f3075c2489ee5c2
? ./schema.dhall
, Schema/validate =
./validate.dhall
sha256:c6147b6ad6d4669966a5340871f433a98977dc2daab9d18aa57074670fbcd33e
sha256:28399e4a2c2e00c7ddcb0e071a1d0bd1f3fa334b3b3ae8a34ecf5a9fb89f608d
? ./validate.dhall
, Prelude =
./prelude.dhall

@ -7,7 +7,7 @@ let Schema =
, LiveMode : Bool
, DevelMode : Bool
, Session : { CookieName : Optional Text, CookieSecret : Text }
, Logger : { Json : Bool, Fmt : Optional Text }
, Logger : { JSON : Bool, Fmt : Optional Text }
, InitialAdminPassword : Text
, Registration : { Allowed : Bool }
}
@ -19,7 +19,7 @@ let Schema =
, LiveMode = False
, DevelMode = False
, Session = { CookieName = None Text, CookieSecret = "secretz" }
, Logger = { Json = True, Fmt = None Text }
, Logger = { JSON = True, Fmt = None Text }
, InitialAdminPassword =
-- | used for the first admin, forced change on first login.
"50ce50fd0e4f5894d74c4caecb450b00c594681d9397de98ffc0c76af5cff5953eb795f7"

@ -5,7 +5,7 @@ let Prelude =
let Schema =
./schema.dhall
sha256:3bd2caed23192f7d8a6e6ff0ce51886c9fd382d02c0e949a8349003c9ba9f6c5
sha256:12bd172676c7db8ed849f74718378adead421710f71fb7d92f3075c2489ee5c2
? ./schema.dhall
let Schema/validate