installation proplems

Stream: general

[Dania Abuhijleh]

Hello! I am following these instructions https://leanprover-community.github.io/install/windows.html and python3 --version returns the correct output but pip3 --version returns command not found even though it is downloaded and added to path. I have tried many things but it just won't work, any help would be very very appreciated

[Eric Wieser]

What does python3 -m pip --version show?

[Dania Abuhijleh]

pip 21.0.1 from C:\Users\dania\AppData\Local\Programs\Python\Python39\lib\site-packages\pip (python 3.9)

[Eric Wieser]

How about pip --version?

[Dania Abuhijleh]

bash: pip: command not found

[Eric Wieser]

Your $PATH doesn't sound like it is set up the way you think it is

[Eric Wieser]

If you had a git bash shell open before you installed python, you probably need to close and reopen it

[Dania Abuhijleh]

I did close and reopen

[Dania Abuhijleh]

but you are probably right about $PATH because I don't know what else it could be

[Dania Abuhijleh]

do I make sure C:\Users\dania\AppData\Local\Programs\Python\Python39\lib\site-packages\pip is added to PATH variable?

[Eric Wieser]

No

[Eric Wieser]

Can you echo "$PATH"?

[Dania Abuhijleh]

/c/Users/dania/.elan/bin:/c/Users/dania/bin:/mingw64/bin:/usr/local/bin:/usr/bin:/bin:/mingw64/bin:/usr/bin:/c/Users/dania/bin:/c/Program Files (x86)/Common
Files/Oracle/Java/javapath:/c/WINDOWS/system32:/c/WINDOWS:/c/WINDOWS/System32/Wbem:/c/WINDOWS/System32/WindowsPowerShell/v1.0:/c/WINDOWS/System32/OpenSSH:/cmd:/c/Program
Files/nodejs:/c/ProgramData/chocolatey/bin:/c/Users/dania/AppData/Local/Programs/Python/Python39:/c/Users/dania/AppData/Local/Programs/Python/Python39/Scripts/pip3:/c/users/dania/appdata/local/programs/python/python39/lib/site-packages:/c/Users/dania/AppData/Local/Programs/Python/Python39/lib/site-
packages/pip:/c/Users/dania/.elan/bin:/c/Users/dania/AppData/Local/Microsoft/WindowsApps:/c/Users/dania/AppData/Local/atom/bin:/c/Users/dania/AppData/Local/GitHubDesktop/bin:/c/Users/dania/AppData/Local/Programs/MiKTeX
2.9/miktex/bin/x64:/c/Users/dania/AppData/Local/Microsoft/WindowsApps:/c/src/flutter_windows_1.22.3-
stable:/c/Users/dania/AppData/Local/Programs/Microsoft VS
Code/bin:/c/Users/dania/AppData/Roaming/npm:/usr/bin/vendor_perl:/usr/bin/core_perl

[Eric Wieser]

These are suspicious:

/c/Users/dania/AppData/Local/Programs/Python/Python39/Scripts/pip3
/c/users/dania/appdata/local/programs/python/python39/lib/site-packages
/c/Users/dania/AppData/Local/Programs/Python/Python39/lib/site-packages/pip

[Eric Wieser]

did you add them yourself?

[Eric Wieser]

I think you want to replace those three entries with a single one,

/c/Users/dania/AppData/Local/Programs/Python/Python39/Scripts

[Dania Abuhijleh]

that worked!

[Dania Abuhijleh]

thank you so much

[Floris van Doorn]

Did you follow this line of the installation instructions?

If pip3 --version doesn't give any output, run the command python3 -m pip install --upgrade pip, which should fix it.

If you did, then we need to improve the instructions to make sure that they cover your case.
Did you follow every step of the instructions carefully? Did you add anything to your path manually?

[Dania Abuhijleh]

I did follow that line yes, it would download but still not work

[Dania Abuhijleh]

I did add those suspicious lines to my path manually, but only after I tried the instructions

[Eric Wieser]

It's possible Scripts is no longer added to the path by the installers of newer python versions