Re: Move Location Of ~/.leo File For Future Installs?

2023-03-26 Thread Thomas Passin
On Sunday, March 26, 2023 at 10:21:21 AM UTC-4 al...@laerios.com wrote: > @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 o

Re: Move Location Of ~/.leo File For Future Installs?

2023-03-26 Thread 'Alexander Laertes' via leo-editor
@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 `.'. Both Linux and Windows hide such

Re: Move Location Of ~/.leo File For Future Installs?

2023-03-26 Thread Thomas Passin
On Sunday, March 26, 2023 at 6:25:34 AM UTC-4 Edward K. Ream wrote: On Sat, Mar 25, 2023 at 8:36 PM Thomas Passin 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 th

Re: Move Location Of ~/.leo File For Future Installs?

2023-03-26 Thread Edward K. Ream
On Sat, Mar 25, 2023 at 8:36 PM Thomas Passin 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

Re: Move Location Of ~/.leo File For Future Installs?

2023-03-25 Thread Thomas Passin
Thanks for your thoughts, Felix. XDG is one of those not-quite-standards that is supposed to promote interoperability and "sane" locations for various kinds of system files and others. I'm no expert but it seems to me that some major distros follow it less strictly for user locations than oth

Move Location Of ~/.leo File For Future Installs?

2023-03-25 Thread Thomas Passin
@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 chan