diff --git a/env.ps1 b/env.ps1 index 2de6034..3614196 100644 --- a/env.ps1 +++ b/env.ps1 @@ -34,6 +34,7 @@ # failed. This makes it infeasible to do proper error checking. # See https://github.com/PowerShell/PowerShell/issues/12218 +Function Global:resetenv { rm -r venv; .\env.ps1 } Function Global:dotidy { black src tests build.py } Function Global:dolint { flake8 src tests build.py } Function Global:dotest { pytest -q -n auto -x -l --sw --hypothesis-profile=dev $args } diff --git a/env.sh b/env.sh index c740c7d..1b4c93e 100644 --- a/env.sh +++ b/env.sh @@ -25,6 +25,7 @@ unset -f activate die setup +resetenv() { rm -r venv; . ./env.sh; } dotidy() { black src tests build.py; } dolint() { flake8 src tests build.py; } dotest() { pytest -q -n auto -x -l --sw --hypothesis-profile=dev $@; }