superlint/lib
Marco Ferrari 879672e936
Don't write colors and logs on disk if not necessary (#4934)
* Don't write colors and logs on disk if not necessary

* Set color markers

* Fix colors

* Fix linting errors

* Fix linting errors

* Use sudo to access logs
2023-12-05 08:04:13 +00:00
..
functions Don't write colors and logs on disk if not necessary (#4934) 2023-12-05 08:04:13 +00:00
linter.sh Don't write colors and logs on disk if not necessary (#4934) 2023-12-05 08:04:13 +00:00