$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 is a Bash IDE with support for $READLINE_MARKtry it now!
© 2020–2024 Joachim Ansorg
Imprint
Privacy Policy
Legal