[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #57027] command "history_file" does not work p
From: |
Mike Miller |
Subject: |
[Octave-bug-tracker] [bug #57027] command "history_file" does not work properly |
Date: |
Wed, 9 Oct 2019 17:07:20 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/77.0.3865.90 Safari/537.36 |
Follow-up Comment #1, bug #57027 (project octave):
Setting the history file applies to all future history commands, it does not
immediately re-read the history from the new file. This is analogous to the
bash command history file. If you want to both change the name of the file
used for saving and for restoring history, you should use
history_file ("~/test/.octave_hist");
if (exist (history_file ())
history -r
## or equivalently, history ("-r", history_file ());
endif
I successfully use a combination of history_control(), history_file(),
history_save(), history_size(), and history("-r") in my ~/.octaverc, in that
order.
Can you suggest any changes to the relevant doc strings that would help make
it clear that setting history_file to a new file does not automatically
trigger a read of the file?
(And sorry for omitting to mention this in the other bug report.)
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?57027>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/