Commit ID: b7291a7
Version of GNU Bash: 4.4.12
コマンドとなる文字列(ble-color-setfaceにおいてcommand_*で着色設定されうる文字列)の直前に,コマンドとなる文字列を入力し終わった状態でコメント開始文字(#)を入力すると,本来はそれ以降がble-color-setfaceにおいてsyntax_commandで着色される筈ですが,されません。
$ echo 'foo'@
# 先頭に`#`を挿入
$ #echo 'foo'
^^^^
波下線部が,元の着色のままになります。
'foo'などの引数部分は正常に着色がコメントを表わすものに変化します$ echo 'foo' | cat@
# `cat`の直前に`#`を挿入
$ echo 'foo' | #cat
^^^
波下線部が元の着色のままです。
確認いたしました。対応ありがとうございます。