Embora isso seja entediante, agora que quase todos os comandos são registrados em seu histórico, você pode editar seu arquivo ~/.bash_history
.
Meu histórico de terminal tem centenas de comandos, mas eu só quero manter alguns deles
Existe uma maneira de editar manualmente a lista de comandos executada no terminal?
Embora isso seja entediante, agora que quase todos os comandos são registrados em seu histórico, você pode editar seu arquivo ~/.bash_history
.
para revisar seu histórico, abra o terminal e digite history
Eu recomendaria fazer uma cópia primeiro abrindo um terminal e usando esta CLI cp ~/.bash_history ~/.bash_history_old
edite o "antigo". Quando estiver satisfeito com o resultado, execute este cp ~/.bash_history_old ~/.bash_history
, isso substituirá o histórico atual. Você será solicitado a sobrescrever y / n?
Tags gnome-terminal 12.10