fz0x1/HPI
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

some notes on rethinking mixning in the user config

Browse source
This commit is contained in:
Dima Gerasimov 2024-08-19 01:08:10 +01:00
parent 5ec357915b
commit 675bb66e52
7 changed files with 211 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
doc/experiments_with_config/run Executable file
View file

@ -0,0 +1,12 @@
#!/bin/bash
set -eu
cd "$(dirname "0")"
WHAT="$1"
export PYTHONPATH=src
ERROR=0
python3 -m mypy -p "pkg.$WHAT" || ERROR=1
python3 -c "import pkg.$WHAT as M; M.run()" || ERROR=1
exit "$ERROR"