Comment 1 for bug 647842

Revision history for this message
zasq (zasq) wrote :

I have the same problem. No history saved. In a forum thread a solution was mentioned saying that the history would be saved if the terminal is closed with ctrl+d or by typing "exit" instead of with the x-close-button. Nevertheless, this doesn't work for me either...