$POSTEDIT  –  Text displayed after the end of the editable text buffer

$POSTEDIT is output when the line editor exits, e.g. to reset the terminal.

BashSupport Pro ist eine Zsh IDE mit Unterstützung für $POSTEDIT - probieren Sie es jetzt aus!
© 2020–2024 Joachim Ansorg
Impressum
Datenschutz
Rechtliches