Я часто ловлю себя на том, что выполняю такие команды в bash:
history | grep 'find'
Например, чтобы найти причудливую команду find / xargs, которую я мог запустить.
Мне интересно --- где "lein repl" хранит свои исторические данные? Было бы неплохо узнать, потому что тогда я мог бы написать скрипт leingrep.sh, который просто перебирал сессию истории lein.
Очевидно, что это где-то на диске, так как история сохраняется от одного повтора к другому.