[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #44101] Make command history entries deletable

From: Mike Miller
Subject: [Octave-bug-tracker] [bug #44101] Make command history entries deletable
Date: Thu, 29 Jan 2015 06:19:29 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/40.0.2214.91 Safari/537.36

Update of bug #44101 (project octave):

                Category:                     GUI => Interpreter            
                Severity:              3 - Normal => 1 - Wish               
                  Status:                    None => Confirmed              
                 Release:                   3.8.2 => dev                    


Follow-up Comment #2:

@Philip: you can do that already using the history_control function. Use
`history_control ignore_dups` to have it automatically filter out duplicate
lines. Works in both CLI and GUI.

Deleting history entries should just require calling command_history::remove.
If this were supported in the GUI, it should probably be supported in CLI with
a callable function also. Or it could be an option to the history command,
`history -d N` for example, as in bash. Reassigning to the interpreter for


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]