So che Ctrl+ Rcerchiamo la cronologia dei comandi, ma è un po 'primitiva. Esiste un modo per esportare tutta la cronologia dei miei comandi (non solo la sessione terminale corrente, ma la cronologia completa) in un file di testo? Potrei quindi utilizzare un editor di testo per cercarlo comodamente. O se il file della cronologia esiste già, dov'è?