Commit Graph

17 Commits (2023.07.17-pkgs)

Author SHA1 Message Date
disconnect3d 03327ff510 lint.sh: use tools from .venv
2 years ago
Disconnect3d 9e9f328ccc
Update code to Python >= 3.8 (#1840)
2 years ago
Gulshan Singh 487afacc7a
Switch from flake8 to ruff (#1696)
3 years ago
Disconnect3d afa96abfa0
lint.sh: vermin -vvv instead of -vvvv (#1556)
3 years ago
Disconnect3d 945f12a267 lint.sh vermin: use -vvv --no-tips
3 years ago
Gulshan Singh bc59a8eddd
Fix memoize type issues and enable mypy in lint script (#1518)
3 years ago
Gulshan Singh ac5a6ebe64
Minor lint and pre-hook changes (#1349)
3 years ago
Gulshan Singh 7efaa33b0c
Install shfmt on Ubuntu 22.04, otherwise skip running linter (#1323)
3 years ago
Gulshan Singh bb3a7bfcb5 Add quiet flag to vermin
3 years ago
Gulshan Singh 85f4373737 Try to install missing lint dependencies
3 years ago
Filip Mazur e3c2b87239
Implementing vermin into CI (#1319)
3 years ago
Disconnect3d c74a551a6d
lint.sh: lint only pwndbg files (#1312)
3 years ago
Gulshan Singh 6af4753d8e
Add support for formatting the code directly from lint.sh (#1140)
3 years ago
Gulshan Singh 544ea0eab7
Linting/formatting improvements (#1138)
3 years ago
Disconnect3d b7ddf3a070
fix #1111 errno command edge case (#1126)
3 years ago
Gulshan Singh cc50024417
Format shell scripts with shfmt (#1123)
3 years ago
Gulshan Singh bbf1397a2b
Add lint.sh script (#1122)
3 years ago