mirror of
https://github.com/servo/servo
synced 2026-04-26 01:25:32 +02:00
Probably we should use a proper linter like `shellcheck`, but in the meantime make the lint slightly smarter, so that it doesn't complaint about e.g. `$1`. This is especially a problem when adding scripts which use `awk`, since our lint is quite stupid and doesn't understand `''` strings. This fixes linting, for a simple new script introduced in https://github.com/servo/servo/pull/41775 Testing: ./mach test-tidy still passes. --------- Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>