bash history
Чтобы каждая сессия bash объединяла историю в один глобальный файл, надо в ~/.bash_logout
добавить строку: history -a $HISTFILE
Ну, а про CTRL+R вы же знаете, да? :)
Чтобы каждая сессия bash объединяла историю в один глобальный файл, надо в ~/.bash_logout
добавить строку: history -a $HISTFILE
Ну, а про CTRL+R вы же знаете, да? :)