## Stream: new members

### Topic: Running the linter locally

#### Frédéric Dupuis (Jul 21 2020 at 00:15):

Is there a way to run the linter locally to make sure all the checks pass before committing?

#### Jalex Stark (Jul 21 2020 at 00:26):

#lint

#### Jalex Stark (Jul 21 2020 at 00:26):

i usually put it at the bottom of the file but maybe one can put it anywhere instead

#### Floris van Doorn (Jul 21 2020 at 05:09):

To elaborate on Jalex: #lint checks all declarations in that file (above the #lint command). There is also #lint_mathlib that checks in all files (in mathlib) that you've imported.

#### Frédéric Dupuis (Jul 21 2020 at 13:21):

Thanks!

Last updated: May 14 2021 at 05:20 UTC