octave-bug-tracker
[Top][All Lists]
Advanced

[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/




reply via email to

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