Prefer python3 to python2 (#379)

Some distributions do not alias /usr/bin/python3 to /usr/bin/python
This commit is contained in:
Dennis Krupenik
2020-09-10 17:03:29 +03:00
committed by GitHub
parent 797e4c468f
commit bbee5d5dc5

View File

@ -86,6 +86,9 @@ export LUA_PATH
if $(command -v python >/dev/null 2>&1)
then
PYTHON=python
elif $(command -v python3 >/dev/null 2>&1)
then
PYTHON=python3
elif $(command -v python2 >/dev/null 2>&1)
then
PYTHON=python2