Rozumiem, że plik historii jest aktualizowany po wyjściu terminala. Ale czasami mój komputer ulega awarii, a terminal nie wychodzi prawidłowo, a potem tracę te polecenia z mojej historii, co jest denerwujące. Jak mogę sprawić, by natychmiast się spłukało, aby wpisy nadal tam były, nawet jeśli mój komputer ma problemy? W tej chwili korzystam z tego obejścia, ale uważam, że powinien istnieć lepszy sposób.
Używam gnome-terminal na Ubuntu 12.10.