Я использую общую историю для всех сессий. Однако мне часто случается, что часть истории теряется. Поэтому я просто поменяю местами разные сценарии "общего сеанса" в надежде, что кто-нибудь исправит это, пока что нет. Это работает в основном, но не всегда.
Я просто решил присмотреться к этому более подробно, когда Ctrl+R valgrind ничего не показал. Да, это в файле истории - открытие .bash_history в редакторе и поиск показывает несколько команд, которые начинаются с valgrind .
Тем не менее, history |grep valgrind показывает только себя, и фактически эта команда вводится в указанную .bash_history , в самом ее конце, намного позже других команд, содержащих valgrind . И это не опечатка - файл истории содержит много команд iptables , которые невидимы для history и для Ctrl+R. Более свежая история в том же файле видна, и доступ к ней работает нормально.
Я бы сомневался, что история Bash так сильно нарушена. Любое объяснение?
РЕДАКТИРОВАТЬ: Существует аналогичный вопрос, без реального ответа: есть ли ограничение на количество записей, которые ищет комбинация клавиш Control R?