
@paolomi has requested that Leo's user's home directory be moved - on Linux - from the location it has always had to a new one. The current location is ~/.leo. @paolomi thinks it should not be in ~/ so as to reduce clutter in the user's home directory. Existing installations would not be changed. The issue for the request is XDG Base Directory on Linux #3213.
On Sat, Mar 25, 2023 at 8:36 PM Thomas Passin <tbp1...@gmail.com> wrote:@paolomi has requested that Leo's user's home directory be moved - on Linux - from the location it has always had to a new one. The current location is ~/.leo. @paolomi thinks it should not be in ~/ so as to reduce clutter in the user's home directory. Existing installations would not be changed. The issue for the request is XDG Base Directory on Linux #3213.I don't like this proposal:- It's not needed.- It might create problems for existing users.
- The home directory is a natural place for this data.
$XDG_CONFIG_HOME defines the base directory relative to which user-specific configuration files should be stored. If $XDG_CONFIG_HOME is either not set or empty, a default equal to $HOME/.config should be used.
- The home directory often contains subdirectories starting with `.<app-name>'.Both Linux and Windows hide such directories by default.
> @paolomi thinks it should not be in ~/ so as to reduce clutter in the
> user's home directory.
On 26.3.2023 07:25, Edward K. Ream wrote:
> - The home directory is a natural place for this data.
> - The home directory often contains subdirectories starting with
> `.<app-name>'.
> Both Linux and Windows hide such directories by default.
The initial request seems to conflate 'reducing $HOME clutter' with
'adopting the XDG directory specification' in regards to where data,
config, state files (and so on) are stored.
There are places in the code where purpose-specific files and folders
are directly derived from g.app.homeLeoDir, so redesigning leo (and
plugins) to redistribute files across different locations will be
burdensome.
1) To prevent cluttering $HOME, would it not be enough to specify the
location of homeLeoDir to somewhere else?
2) Is there currently no way to customize the location of homeLeoDir? If
not, perhaps it would be convenient to have the ability to customize it
at startup, e.g. via command line parameter or environment variable.