tree 85a568156810e2144ad1f19260ee6e48731c231c
parent 63115202a4efd645e19d3e9a3d8a768f7505aebe
author David Ostrovsky <david@ostrovsky.org> 1643553691 +0100
committer David Ostrovsky <david.ostrovsky@gmail.com> 1643667006 +0000

Migrate to python 3

Given that on most systems Python is still linked to the Python 2.7,
switch explicitly to using Python 3.

Python 2.7 was discontinued on January 1, 2020: [1].

Moreover, there is PEP recommending to use python3 in the shebang: [2].

[1] https://www.python.org/doc/sunset-python-2
[2] https://www.python.org/dev/peps/pep-0394

Change-Id: I84e87db6e2dd90e5807d6e90a16eec451c4dc511