Define dev tools settings in pyproject.toml

druzsan · Feb 7, 2024 · d5cbdfe · d5cbdfe
1 parent 44c806c
commit d5cbdfe
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 2 deletions.
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -8,7 +8,7 @@ repos:
     hooks:
       - id: ruff
         name: ruff
-        entry: ruff check --extend-select I --fix --exit-non-zero-on-fix --show-fixes
+        entry: ruff check --fix --exit-non-zero-on-fix --show-fixes
         language: system
         types: [python]
         require_serial: true

diff --git a/Makefile b/Makefile
@@ -30,7 +30,7 @@ typecheck: ## Typecheck all source files
 
 .PHONY: lint
 lint: ## Lint all source files
-	ruff check --extend-select I main.py
+	ruff check main.py
 
 .PHONY: docker-image
 docker-build:  # Build Docker image

diff --git a/pyproject.toml b/pyproject.toml
@@ -0,0 +1,8 @@
+[tool.ruff.lint]
+extend-select = [
+  "I",
+]
+
+[tool.mypy]
+ignore_missing_imports = false
+disallow_untyped_defs = true