From 2652bb9d22456dee4df90ff31c5f52fafb31cdbd Mon Sep 17 00:00:00 2001 From: leo Date: Fri, 12 May 2023 23:00:37 +0200 Subject: [PATCH] schema: rename Logger attr Json to JSON --- package.dhall | 4 ++-- schema.dhall | 4 ++-- validate.dhall | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/package.dhall b/package.dhall index 0d44c90..2310f91 100644 --- a/package.dhall +++ b/package.dhall @@ -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 diff --git a/schema.dhall b/schema.dhall index 03862f7..ae7ec2d 100644 --- a/schema.dhall +++ b/schema.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" diff --git a/validate.dhall b/validate.dhall index 9c88c55..eb25a98 100644 --- a/validate.dhall +++ b/validate.dhall @@ -5,7 +5,7 @@ let Prelude = let Schema = ./schema.dhall - sha256:3bd2caed23192f7d8a6e6ff0ce51886c9fd382d02c0e949a8349003c9ba9f6c5 + sha256:12bd172676c7db8ed849f74718378adead421710f71fb7d92f3075c2489ee5c2 ? ./schema.dhall let Schema/validate