python-pip/pip-allow-older-versions.patch

17 lines
504 B
Diff
Raw Normal View History

--- /usr/bin/pip3 2018-03-29 15:22:13.000000000 +0200
+++ pip3 2018-05-04 11:49:08.098821010 +0200
@@ -4,7 +4,12 @@
import re
import sys
2018-07-23 15:22:50 +00:00
-from pip._internal import main
+try:
2018-07-23 15:22:50 +00:00
+ from pip._internal import main
+except ImportError:
2018-07-23 15:22:50 +00:00
+ # user has most probably downgraded pip in their home
+ # so let them run it anyway until ~/.local/bin makes it in front of the PATH
2018-07-23 15:22:50 +00:00
+ from pip import main
if __name__ == '__main__':
sys.argv[0] = re.sub(r'(-script\.pyw?|\.exe)?$', '', sys.argv[0])