diff options
| author | Joris Roovers <joris.roovers@gmail.com> | 2022-10-25 11:00:12 +0200 |
|---|---|---|
| committer | Joris Roovers <joris.roovers@gmail.com> | 2022-10-25 09:23:06 +0000 |
| commit | ce79fec95ca8fe29c0148c7dc1fe3d469d1b8298 (patch) | |
| tree | 799a29d1bf061eaa9caaabc0a917b3d6e2077a64 /run_tests.sh | |
| parent | 70718e38e84b13b25e041c1356d0432302aa734c (diff) | |
Remove Vagrant box (#348)
No longer used for development purposes by maintainer, is only adding
maintenance overhead at this point.
Fixes #231
Diffstat (limited to 'run_tests.sh')
| -rwxr-xr-x | run_tests.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run_tests.sh b/run_tests.sh index 64d41af..2a95a92 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -147,7 +147,7 @@ run_build_test(){ # Copy gitlint to a new temp dir echo -n "Copying gitlint to $temp_dir..." mkdir "$temp_dir" - rsync -az --exclude ".vagrant" --exclude ".git" --exclude ".venv*" . "$temp_dir" + rsync -az --exclude ".git" --exclude ".venv*" . "$temp_dir" echo -e "${GREEN}DONE${NO_COLOR}" # Update the version to include a timestamp @@ -382,7 +382,7 @@ switch_env(){ export PATH=$(echo $PATH | tr ":" "\n" | grep -v "$VIRTUAL_ENV" | tr "\n" ":"); fi set -e # Let's error out if you try executing against a non-existing env - source "/vagrant/.venv${1}/bin/activate" + source ".venv${1}/bin/activate" set +e fi title "### PYTHON ($(python --version 2>&1), $(which python)) ###" |