You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When running the CHADdeps (and COQdeps for that matter) command, pip installation fails when running Python 3.12.4+ and pip 24.3. I have recreated this issue on both a fresh Arch Linux install as well as MacOS. When installing the requirements, pip asks for a Github Username, which fails the auto install process from within neovim.
When attempting to install from requirements.txt on the terminal, the username prompt is skippable. Entering nothing into the username prompt allows the package to be installed. This seems to be an issue with pip itself, and I've opened an issue with pypa regarding this.
In the meantime, I'm at a loss at a workaround for this issue, and any help would be appreciated.
The text was updated successfully, but these errors were encountered:
When running the
CHADdeps
(andCOQdeps
for that matter) command, pip installation fails when running Python 3.12.4+ and pip 24.3. I have recreated this issue on both a fresh Arch Linux install as well as MacOS. When installing the requirements,pip
asks for a Github Username, which fails the auto install process from within neovim.When attempting to install from requirements.txt on the terminal, the username prompt is skippable. Entering nothing into the username prompt allows the package to be installed. This seems to be an issue with pip itself, and I've opened an issue with pypa regarding this.
In the meantime, I'm at a loss at a workaround for this issue, and any help would be appreciated.
The text was updated successfully, but these errors were encountered: