Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Check if python starts python3 #6239

Merged
merged 4 commits into from
Aug 18, 2023
Merged

Check if python starts python3 #6239

Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
35f0bb9
dev_tools/pypath - verify `python` runs Python 3
pavoljuhas Aug 11, 2023
1c1de77
Exit check-scripts on error in dev_tools/pypath
pavoljuhas Aug 11, 2023
8b2a14c
Merge branch 'master' into check-if-python-runs-python3
pavoljuhas Aug 15, 2023
72b5b2e
Merge branch 'master' into check-if-python-runs-python3
pavoljuhas Aug 18, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
dev_tools/pypath - verify python runs Python 3
  • Loading branch information
@pavoljuhas
pavoljuhas committed Aug 11, 2023
commit 35f0bb95a7632430bac87dc97bad6b32481933a5
6 changes: 6 additions & 0 deletions dev_tools/pypath
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,12 @@ else
_PYPATH_BASE_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
fi

if ! python --version | grep -q -F "Python 3."; then
echo "python command does not start Python 3" >&2
echo "Please use a virtual environment created for Python 3." >&2
return 2
fi

_PYPATH_PREFIX="${_PYPATH_BASE_DIR}$(
cd "${_PYPATH_BASE_DIR}" &&
env PYTHONPATH=. python dev_tools/modules.py list --mode folder |
Expand Down