-
Notifications
You must be signed in to change notification settings - Fork 23
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
git password prompt in lakefile breaks neovim #274
Comments
I don't see that here -- anything else you can share about reproducing? What I see isn't much (no error at all): Screen.Recording.2022-09-02.at.22.11.15.mov |
This could be a difference between macOS and Linux. From what I can tell the git password prompt goes to extreme lengths so that it is shown (and accepts input!) even when you redirect all outputs:
|
Got it, will give a shot on a Linux box then I guess (though what you show there is the same as the behavior on macOS -- I think it just chooses to read/write directly to /dev/tty?) |
Put the following in a lakefile:
Note that I made a mistake: this repo does not exist since
std4
is in theleanprover
organization.When I open this file in neovim, it then shows the following:
There is a password prompt, and it shown on top of the neovim TUI. Even worse, there is no way to either enter a password or interact with neovim.
The text was updated successfully, but these errors were encountered: