$READLINE_MARK: Readline Mark

$READLINE_MARK is the position of the mark (saved insertion point) in the Readline line buffer, for use with bind -x.

BashSupport Pro ist eine Bash IDE mit Unterstützung für $READLINE_MARKprobieren Sie es aus!
© 2020–2024 Joachim Ansorg
Impressum
Datenschutz
Rechtliches