Update .envrc.

This commit is contained in:
Giacomo Leidi 2023-01-03 18:55:35 +01:00
parent 1d3e5047e8
commit 28446c3401
No known key found for this signature in database
GPG Key ID: D075F59A480549C3
1 changed files with 2 additions and 8 deletions

10
.envrc
View File

@ -1,10 +1,10 @@
if command -v guix; then
if has guix; then
GUIX_PROFILE="${PWD}/.guix-root"
rm -f "$GUIX_PROFILE"
eval "$(guix time-machine -C channels-lock.scm -- shell -r "$GUIX_PROFILE" -D -f guix.scm -m manifest.scm --search-paths)"
# Add development scripts to PATH
export PATH="$(pwd)/scripts:${PATH}"
PATH_add "$(pwd)/scripts"
venv_dir=".venv"
@ -21,14 +21,8 @@ if command -v guix; then
clear
git-cal --author="$(git config user.name)"
run-tests () {
run_pipeline_tests.sh
}
export_function run-tests
cat << EOF
run-tests Runs pytest in the current directory
The 'scripts' directory has been added to your PATH: you can now invoke scripts without typing the relative path.
EOF