[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
now.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?44101>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/