Skip to content
  • Andrew Morgan's avatar
    Add option to scripts-dev/lint.sh to only lint files changed since the last git commit (#8472) · 654e239b
    Andrew Morgan authored
    This PR makes several changes to the `./scripts-dev/lint.sh` script, which lints the codebase with a number of tools:
    
    * Adds usage information, with `-h` flag to show it. Otherwise it will show when providing an unknown flag.
    * Adds option `-d` which will check both staged and unstaged files that have changed since the last commit and add them to the list of files to lint.
      - Note that only files without an extension, or with a `.py` extension will be allowed. This prevents editing bash scripts causing the linters to break on non-python files.
    * Improves the print-out of which files/directories are being linted. 
    654e239b
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.