Eu criei a seguinte solução suspeitamente simples para arquivar todo o histórico bash
function archive_bash_history {
history -a ~/dropbox/bash_eternal_history
}
trap archive_bash_history EXIT
O que isso pretende fazer é anexar todas as linhas do histórico da sessão atual a ~/dropbox/bash_eternal_history sempre que o terminal sair.
A solução típica é definir HISTFILESIZE , mas a desvantagem é se o histórico ficar muito grande, os tempos de inicialização e o consumo de memória de cada sessão podem ficar grandes.
Isso é inspirado por isto , mas é muito mais simples. Parece funcionar bem para mim. Eu estou querendo saber se estou perdendo alguma coisa?