Skip to content
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.

Sign up for GitHub

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

Jump to bottom

space after prompt #2

Closed
miekg opened this issue Jan 4, 2016 · 2 comments
Closed

space after prompt #2

miekg opened this issue Jan 4, 2016 · 2 comments

Comments

@miekg
Copy link
Owner

miekg commented Jan 4, 2016

For some reason the terminal version (at least for gnome-terminal) either eats or does not eat the space after the terminal prompt. The lastest push added an explicit space, but this now has the effect of having two space when logging in remotely.

Need to test terminals and provide a work around.
@miekg
Copy link
Owner Author

miekg commented Jan 6, 2016

of course this has to do with the zsh version.

@miekg
Copy link
Owner Author

miekg commented Jan 12, 2016

This was due to:

-ZLE_RPROMPT_INDENT=0
+ZLE_RPROMPT_INDENT=1

who knew...

@miekg miekg closed this as completed Jan 12, 2016
phux pushed a commit to phux/lean that referenced this issue Feb 19, 2019
@jmollowitz-h24
testing git info miekg#2
9d296cb
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@miekg