index
:
walint
main
playground
structured-badges
A linter for workadventure maps
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
Properties.hs
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2021-12-12
downgrad mapCopyright lint to suggestion
stuebinm
1
-1
/
+1
2021-12-12
better lints for invalid links
stuebinm
1
-18
/
+15
2021-12-12
lints for names that are used more than twice
stuebinm
1
-7
/
+13
2021-12-12
handle text objects in objectgroup layers
stuebinm
1
-16
/
+21
2021-12-12
lint individual tile properties
stuebinm
1
-1
/
+15
2021-12-08
rudimentary linting for overlapping layers
stuebinm
1
-0
/
+17
2021-12-08
fix mapCopyright lint
stuebinm
1
-3
/
+3
2021-12-07
properties: copyright → tilesetCopyright
stuebinm
1
-2
/
+2
2021-12-07
require mapCopyright to be set
stuebinm
1
-0
/
+3
2021-12-04
lots of code reorganising and some deduplication
stuebinm
1
-92
/
+117
2021-12-04
refuse doubled names
stuebinm
1
-15
/
+33
2021-12-02
collect badges from object layers
stuebinm
1
-9
/
+57
2021-12-02
do (naïve) html escaping
stuebinm
1
-6
/
+11
2021-11-30
prepend jitsi room names with assembly tag
stuebinm
1
-2
/
+7
2021-11-30
jitsiRoomAdminTag: prepend "assembly-" before name
stuebinm
1
-0
/
+2
2021-11-30
allow unknown properties
stuebinm
1
-11
/
+2
2021-11-30
rudimentary emulation of bbbRoom etc.
stuebinm
1
-4
/
+26
2021-11-28
various fixes to bugs
stuebinm
1
-34
/
+34
2021-11-20
make link adjustments configurable
stuebinm
1
-24
/
+35
2021-11-19
add domain allow- and blocklists for weblinks
stuebinm
1
-4
/
+14
2021-11-19
add lint for empty group layers
stuebinm
1
-0
/
+7
2021-11-19
deal with group layers
stuebinm
1
-5
/
+0
2021-11-18
assorted lints for properties found in some maps
stuebinm
1
-17
/
+56
2021-11-17
add warnings for as-yet unlinted layer properties
stuebinm
1
-0
/
+9
2021-11-17
make map parser work with more maps
stuebinm
1
-2
/
+14
2021-11-16
reject map urls starting with /_/
stuebinm
1
-3
/
+6
2021-11-16
add adjustment: add prefix for openWebsite
stuebinm
1
-2
/
+5
2021-11-14
config options: implement script-related options
stuebinm
1
-2
/
+13
2021-11-14
Functional jitsiRoomAdminTag adjustment
stuebinm
1
-6
/
+11
2021-11-10
little code cleanup
stuebinm
1
-1
/
+1
2021-11-09
first example of a map adjustment
stuebinm
1
-10
/
+21
2021-11-02
monad plumbing to let the linter modify things
stuebinm
1
-1
/
+1
2021-10-30
better lint messages
stuebinm
1
-10
/
+10
2021-10-30
re-enable dependency checking
stuebinm
1
-2
/
+3
2021-10-30
make aeson instances agree with themselves
stuebinm
1
-14
/
+7
2021-10-30
more sensible msg for "property required by"-lints
stuebinm
1
-1
/
+8
2021-10-30
add tileset property linting
stuebinm
1
-6
/
+23
2021-10-30
add warning for very large tileset images
stuebinm
1
-2
/
+3
2021-09-30
simple map-map link dependency checking
stuebinm
1
-1
/
+4
2021-09-23
very naïve handling of directories
stuebinm
1
-1
/
+1
2021-09-20
use PrettyPrinter more
stuebinm
1
-4
/
+3
2021-09-20
typechecking for path depths!
stuebinm
1
-53
/
+67
2021-09-20
rebuilding the core LintWriter monad
stuebinm
1
-11
/
+11
2021-09-20
simple parsing of local dependency paths
stuebinm
1
-11
/
+16
2021-09-20
moving code around
stuebinm
1
-57
/
+69
2021-09-20
lint embedded tilesets
stuebinm
1
-2
/
+13
2021-09-20
lint map things that aren't custom properties
stuebinm
1
-4
/
+31
2021-09-20
lint general map properties
stuebinm
1
-63
/
+94
2021-09-19
some properties require non-empty layers
stuebinm
1
-41
/
+78
2021-09-19
support for properties that aren't strings
stuebinm
1
-36
/
+52
[next]