В приглашении bash я могу набрать Ctrl-r и Ctrl-s, чтобы выполнить инкрементный поиск моей истории команд. Однако поиск чувствителен к регистру: если у меня есть команда «cat SomeFile.txt», и я нажимаю «Ctrl-r somefile», я ничего не получаю.В bash readline, как сделать инкрементный регистр поиска нечувствительным
Есть ли способ сделать этот поиск нечувствительным к регистру?
'завершение-игнорировать-кейс' применяется только к завершению, а не к' isearch' – anubhava
Я думаю, что он по-прежнему будет применяться. Поскольку «ctrl-R» обратный поиск использует утилиту «readline» для соответствия строк. Как указано в документации «Если установлено значение« Вкл. », Readline выполняет совпадение и завершение имени файла нечувствительным к регистру». Я бы предположил, что он использует какое-то завершение, чтобы придумать совпадение, поэтому он все равно должен работать. – user2840647
Нет, существует большая разница между завершением и поиском. Попробуйте сами в своем терминале. – anubhava