robocop

commit aa0e8eedb655d84a40b8f3161d79e53ec312dcb2
parent 99641208e477a4125dbbc4e50869209e0e208221
Author: Vint Leenaars <vl.software@leenaa.rs>
Date:   Thu,  8 May 2025 22:47:06 +0200

Rename config file

Diffstat:
M
app/Main.hs
 | 
4
++--
M
src/KYCheck/Error.hs
 | 
6
+++---
M
src/KYCheck/Type.hs
 | 
2
+-

3 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/app/Main.hs b/app/Main.hs
@@ -43,9 +43,9 @@ main = do
     Nothing     -> return ()
     Just Silent -> return ()
     Just _      -> do curr_dir <- getCurrentDirectory
-                      putStrLn $ "Searching for 'config.dhall' in " ++ curr_dir
+                      putStrLn $ "Searching for 'kycheck.conf' in " ++ curr_dir
 
-  dhall <- input auto "./config.dhall" :: IO DhallConfig
+  dhall <- input auto "./kycheck.conf" :: IO DhallConfig
   let config = inputToConfig dhall $ Just cl
   valid_config <- checkConfig config
 
diff --git a/src/KYCheck/Error.hs b/src/KYCheck/Error.hs
@@ -42,9 +42,9 @@ renderError :: KYCheck_Error -> Text
 renderError e =
   case e of
     KYCheck_InvalidDistribution msg    -> "Error: " <> msg
-    KYCheck_InvalidRelaxNG fp          -> "Error: " <> fp <> " is not a valid relaxng-schema"
-    KYCheck_InvalidXML fp err'         -> "Error: " <> fp <> " is not valid for relaxng-schema\n" <> tshow err'
-    KYCheck_NotImplemented msg         -> "Error: " <> msg <> " has not been implemented yet, please change your config.dhall"
+    KYCheck_InvalidRelaxNG fp          -> "Error: " <> fp <> " is not a valid RelaxNG-schema"
+    KYCheck_InvalidXML fp err'         -> "Error: " <> fp <> " is not valid for RelaxNG-schema\n" <> tshow err'
+    KYCheck_NotImplemented msg         -> "Error: " <> msg <> " has not been implemented yet, please change your configuration file"
     KYCheck_NotFound fp desc           -> "Error: could not find " <> fp <> " (" <> desc <> ")"
     KYCheck_XMLParsingError dat err'   -> "Error: could not parse " <> dat <> "\n" <> tshow err'
 
diff --git a/src/KYCheck/Type.hs b/src/KYCheck/Type.hs
@@ -56,7 +56,7 @@ removeSSID (WithSSID _ x) = x
 
 
 
--- | Data type containing all configuration information (config.dhall)
+-- | Data type containing all configuration information (kycheck.conf)
 data Config = Config
   { verbosity            :: Verbosity
   , ssl_location         :: FilePath