Bug 376456 - deleting history should delete the history file
Summary: deleting history should delete the history file
Status: RESOLVED NOT A BUG
Alias: None
Product: konsole
Classification: Applications
Component: history (show other bugs)
Version: 16.12.0
Platform: Other Linux
: NOR normal
Target Milestone: ---
Assignee: Konsole Developer
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-02-13 19:51 UTC by Salvo "LtWorf" Tomaselli
Modified: 2017-02-15 20:05 UTC (History)
0 users

See Also:
Latest Commit:
Version Fixed In:

Attachments
Add an attachment

Note You need to log in before you can comment on or make changes to this bug.
Description Salvo "LtWorf" Tomaselli 2017-02-13 19:51:30 UTC 
I have enabled unlimited scrollback in terminals, however, when I press "clear scrollback and reset", I would expect the history file to be truncated to 0, instead it remains huge.

This means that if a command (normally mpv on a damaged file) prints an abnormally large amount of output, I need to close the terminal to free up that file, since it isn't deleted when clearing the scrollback.

Can you please truncate the file too?
Comment 1 Kurt Hindenburg 2017-02-13 23:16:44 UTC 
It is actually deleted - are you sure the remaining file is not from another konsole tab?
Comment 2 Salvo "LtWorf" Tomaselli 2017-02-15 20:05:55 UTC 
Hm, I have been having this issue for a while on yakuake, but I can't seem to reproduce. I'll close this and make a new one if it happens again.