Ich verstehe, dass die Verlaufsdatei aktualisiert wird, wenn das Terminal beendet wird. Aber manchmal stürzt mein Computer ab und das Terminal wird nicht sauber beendet, und dann verliere ich die Befehle aus meinem Verlauf, was ärgerlich ist. Wie kann ich es sofort bündig machen, damit die Einträge dort auch dann noch ankommen, wenn mein Computer eine Kernschmelze hat? Im Moment verwende ich diese Problemumgehung, aber ich bin der Meinung, dass es einen besseren Weg geben sollte.
Ich benutze Gnome-Terminal auf Ubuntu 12.10.