|
From: | Philip Nienhuis |
Subject: | Re: Interest in selectively deleting history entries. |
Date: | Mon, 22 Sep 2014 18:21:02 +0200 |
User-agent: | Mozilla/5.0 (Windows NT 6.1; WOW64; rv:26.0) Gecko/20100101 Firefox/26.0 SeaMonkey/2.23 |
Daniel J Sebald wrote:
On 09/21/2014 04:23 PM, Philip Nienhuis wrote:Daniel Sebald wroteOn 09/21/2014 12:50 PM, Philip Nienhuis wrote:Daniel Sebald wroteI'm curious what people's thoughts are on the ability to selectively delete individual lines of history. What I see it used for, in
<snip>
(3) Maybe replace a wiped line by a (hidden?) comment (##) if line numbering is to remain consecutive (w/o holes).That would be another way of doing it. If there is a hidden placeholder in the list, one could still compute the line number without having to store it along with the command.
If a suitable code is chosen as comment, Octave can be instructed to drop the entry when it is writing the history to file.
Philip
[Prev in Thread] | Current Thread | [Next in Thread] |