John D Pell bdfb987f0c plugin/xterm: don't rely on `$1` ... _bash-preexec_ passes the "current" command line as `$1`, but this is unreliable and we explicitly discourage it's use. Use `$BASH_COMMAND` instead.		2021-10-20 15:50:15 -04:00
..
available	plugin/xterm: don't rely on `$1`	2021-10-20 15:50:15 -04:00