You can use your regular git repo. dir as long as you don't modify
...\leo\config\leoSettings.leo, which I don't imagine you do if you're using
git.
How it's supposed to work:
set HOME=N:\scratch\delete\home
make Windows think you're home folder's N:\scratch\delete\home, so it doesn't
see any changes you've made in your regular %HOME%\.leo\myLeoSettings.leo.
N:\scratch\delete\home should be a folder which exists, but is completely empty
(delete it and recreate it if unsure).
then for
python N:\local\leo-editor\launchLeo.py
you should just replace N:\local\leo-editor\ with where ever your launchLeo.py
is, i.e. where ever your git repo. clone is. So it will read the
leoSetting.leo that comes with Leo, but not your local modifications.
Cheers -Terry
From: lewis <[email protected]>
To: leo-editor <[email protected]>
Cc: [email protected]
Sent: Monday, January 30, 2017 3:22 PM
Subject: Re: The color branch has been merged into master
N:\>set HOME=N:\scratch\delete\home
N:\>python N:\local\leo-editor\launchLeo.py
python: can't open file 'N:\local\leo-editor\launchLeo.py': [Errno 2] No such
file or directory
This didn't work for me. Wouldn't I need to have a new copy of Leo different
than my usual git repo?
Lewis
On Tuesday, January 31, 2017 at 3:26:27 AM UTC+11, Terry Brown wrote:
Can you try running Leo like this:
mkdir d:\scratch\delete\home
set HOME=d:\scratch\delete\home
python d:\local\leo-editor\launchLeo. py
(with whatever path suits instead of d:\scratch\delete\home of course)
that's how I launch when I want to see default behavior.
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
