[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #57463] History should be stored at platform s
From: |
Mike Miller |
Subject: |
[Octave-bug-tracker] [bug #57463] History should be stored at platform specific location |
Date: |
Mon, 23 Dec 2019 13:20:59 -0500 (EST) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36 |
Update of bug #57463 (project octave):
Severity: 2 - Minor => 1 - Wish
Status: None => Confirmed
_______________________________________________________
Follow-up Comment #1:
Fortunately, this can already be configured by the user, see `help
history_file`.
If we want to change the defaults to conform with OS expectations, a couple of
questions for consideration.
* Would the history file be considered more like a "cache" file, or more like
a "data" file?
* Would Windows users want to have Octave history saved in the per-machine
profile directory or in the roaming profile directory? Would it be more useful
to have a shared history between multiple machines by default or to have a
unique history per machine?
My preference would be for "data", and I think shared history in the roaming
profile probably makes sense. So on GNU, macOS, and other Unix-likes, the
history file would be something like ${XDG_DATA_HOME}/octave/history, or
~/.local/share/octave/history if XDG_DATA_HOME is not defined. On Windows, the
history file would be something like %APPDATA%\octave\history.
My ~/.octaverc already redefines the history_file to be
~/.local/share/octave/history, I've been using that for a while.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?57463>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/