summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorstuebinm2021-12-14 00:15:45 +0100
committerstuebinm2021-12-14 00:15:45 +0100
commit668daf92d3b1c32aaf2c64a8f8e162c485bd5efc (patch)
tree746f909b9d52e23af20ff1449c9c2424c6e05a89 /lib
parent34488ce52bca4031a81c57b9b1ee79ce5c4858c6 (diff)
downgrade disallowed path-related lint levels
(these were `error` before, which didn't really make sense, since workadventure can deal with them, they're just not allowed at rc3)
Diffstat (limited to 'lib')
-rw-r--r--lib/Properties.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index 592aac4..cabc2b7 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -516,9 +516,9 @@ unwrapPath str f = case parsePath str of
then f p
else complain $ "cannot acess paths \"" <> str <> "\" which is outside your repository."
NotAPath -> complain $ "path \"" <> str <> "\" is invalid."
- AbsolutePath -> complain "absolute paths are disallowed. Use world:// instead."
- UnderscoreMapLink -> complain "map links using /_/ are disallowed. Use world:// instead."
- AtMapLink -> complain "map links using /@/ are disallowed. Use world:// instead."
+ AbsolutePath -> forbid "absolute paths are disallowed. Use world:// instead."
+ UnderscoreMapLink -> forbid "map links using /_/ are disallowed. Use world:// instead."
+ AtMapLink -> forbid "map links using /@/ are disallowed. Use world:// instead."
unwrapBadgeToken :: Text -> (BadgeToken -> LintWriter a) -> LintWriter a
unwrapBadgeToken str f = case parseToken str of