Поскольку часто кажется, что история не сохраняется при закрытии и не закрытии терминала gnome, я хотел бы добавить к истории bash, прежде чем показывать подсказку, если строка не является дубликатом. Хотя у меня есть export HISTCONTROL=ignoreboth
в bashrc, который должен подразумевать ignoredups, похоже, он не работает, так как я все еще получаю дубликаты в bash_history. Так как это сделать?
Чтобы предложить дальнейшие указания, но не решения: я думаю, что $ PROMPT_COMMAND должен иметь "$(history 1)" (if_not_duplicate) >> ~/.bash_history
И это позволит удалить несмежные дубликаты, если они уже вставлены.
perl -nei '$H{$_}++ or print' ~/.bash_history