2018-05-04 10:11:26 +00:00
|
|
|
--- /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
|
2018-05-04 10:11:26 +00:00
|
|
|
+try:
|
2018-07-23 15:22:50 +00:00
|
|
|
+ from pip._internal import main
|
2018-05-04 10:11:26 +00:00
|
|
|
+except ImportError:
|
2018-07-23 15:22:50 +00:00
|
|
|
+ # user has most probably downgraded pip in their home
|
2018-05-04 10:11:26 +00:00
|
|
|
+ # 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
|
2018-05-04 10:11:26 +00:00
|
|
|
|
|
|
|
if __name__ == '__main__':
|
|
|
|
sys.argv[0] = re.sub(r'(-script\.pyw?|\.exe)?$', '', sys.argv[0])
|