Para o propósito de ver quais comandos eu estou usando mais, gostaria de manter um registro do comando que eu digito no meu histórico bash (até mesmo duplicatas).
Mas, para sanidade e facilidade de uso, ainda quero manter minhas configurações ignoradas.
Existe uma maneira de criar automaticamente dois arquivos históricos? Com o "padrão" não sendo duplicados e o histórico completo em outro lugar?
Você pode ignorar o mecanismo de histórico incorporado e usar $ PROMPT_COMMAND para escrever o histórico da maneira que quiser. Algumas pessoas mantêm um diretório de arquivos históricos, um para cada shell / data / hostname, etc. Aproximadamente algo como isto:
prompt_cmd() {
echo "$_" >> $HOME/.my_history_file_$HOSTNAME
}
PROMPT_COMMAND=prompt_cmd
obviamente, embelezar com datas, horários, o que for ...
Tags bash bashrc command-history