Ok, desculpas, acabei de perceber que o histórico de comandos é armazenado em cache na memória até que a sessão do terminal seja encerrada de forma limpa. O comando $HOME/.bash_history
e history
agora corresponde conforme o esperado.
Estou usando o aplicativo Terminal no OS X para tentar limpar meu histórico de comandos. As entradas do meu arquivo $HOME/.bash_history
não correspondem ao que é retornado pelo comando history
. O comando echo $0
informa que minha sessão do Terminal está usando o shell bash ( -bash
), portanto, esperaria que fossem iguais.
Além disso, o comando history -c
apenas limpa o histórico que vejo no aplicativo Terminal com o comando history
, isso não afeta o conteúdo do arquivo $HOME/.bash_history
. Por favor, alguém poderia ajudar a explicar meu mal-entendido?