diff options
author | stuebinm | 2021-12-14 00:15:45 +0100 |
---|---|---|
committer | stuebinm | 2021-12-14 00:15:45 +0100 |
commit | 668daf92d3b1c32aaf2c64a8f8e162c485bd5efc (patch) | |
tree | 746f909b9d52e23af20ff1449c9c2424c6e05a89 | |
parent | 34488ce52bca4031a81c57b9b1ee79ce5c4858c6 (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)
-rw-r--r-- | lib/Properties.hs | 6 |
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 |