Compare commits

..

No commits in common. "8e58d45e10a331231860cd502c3951c82c58f0aa" and "72133580d0308b0c8674e5bf6468f978163c6bb1" have entirely different histories.

6 changed files with 1243 additions and 1242 deletions

3
.editorconfig Normal file
View file

@ -0,0 +1,3 @@
[*.sh]
indent_size = 4
indent_style = space

1
.gitignore vendored
View file

@ -1,2 +1,3 @@
__pycache__ __pycache__
/dist /dist
/.venv

View file

@ -291,4 +291,3 @@ Handle project workflows in a unified way:
* tex * tex
* translate to french * translate to french
* try to support nix * try to support nix
* uv

View file

@ -76,12 +76,10 @@ def install_python_packages() -> None:
"pydoclint", "pydoclint",
"pylint", "pylint",
"pytest", "pytest",
"PyYAML",
"ruff", "ruff",
"Sphinx", "sphinx",
"sphinx-rtd-theme", "sphinx-rtd-theme",
"twine", "twine",
"types-PyYAML",
] ]
for package in packages: for package in packages:
log.info(package) log.info(package)