search

Timvde / UserChrome-Tweaks

A community maintained repository of userChrome.css tweaks for Firefox
GNU General Public License v3.0
1.26k stars 121 forks source link

Add stylelint #15

Open nt1m opened 7 years ago

nt1m commented 7 years ago

The CSS files should be linted to have a common code style + no errors.

Madis0 commented 7 years ago

I think that would make sense when there is a proper management UI. Common users don't like reading console logs...

Timvde commented 7 years ago

I can at least manually run this before merging to master, so this sounds like a good idea already. I try to manually enforce the same style, but I can definitely overlook something.

I have no experience with CSS linting tools though. I'll look into stylelint later today.

Timvde commented 7 years ago

@Madis0 By the way, a linting tool would only make sense for contributors, not for users. So a console tool would be fine imo.

nt1m commented 7 years ago

You could make a travis job that disallows merging the PR until all stylelint issues are solved.