No need at all to apologize. With help from the group I've got leo to work,
and I'm having fun exploring.Besides, I'm forever in your debt for the creation
of leo.
But I'm still puzzled. leoSettings.leo includes a snippet SN of plugins:
leo_to_html.py
mod_scripting.py
nav_qt.py
nodetags.py
quicksearch.py
screen_capture.py
settings_finder.py
stickynotes.py
todo.py
viewrendered.py
The myLeosettings.leo file that gets created automatically (call that file IN)
contains a copy of SN.I can create a near-copy of IN (call it OUT) by
prepending "# " to each line of SN.As I understand your explanation, IN does
nothing here because the lines repeat what leoSettings did;OUT should do
nothing because its lines are just comments. So their effects should be
identical. Now:
(base) geoff:1674>cp IN myLeoSettings.leo
(base) geoff:1675>leo
setting leoID from os.getenv('USER'): 'geoff'
Leo 6.2.1 final
Segmentation fault (core dumped)
(base) geoff:1676>cp OUT myLeoSettings.leo
(base) geoff:1677>leo
setting leoID from os.getenv('USER'): 'geoff'
Leo 6.2.1 final
wrote recent file: /home/geoff/.leo/.leoRecentFiles.txt
wrote /home/geoff/.leo/leo.session
OUT allows leo to run; IN does not. What am I missing?
geoff
On Friday, July 31, 2020, 7:15:06 p.m. NDT, Edward K. Ream
<[email protected]> wrote:
On Fri, Jul 31, 2020 at 2:33 PM GEOFFREY EVANS <[email protected]> wrote:
Edward, we need an umpire :-)
My apologies for the troubles you are having.
In general, settings in myLeoSettings.leo completely override settings in
leoSettings.leo.
Alas, @enabled-plugins is an exception. There is no good way to disable a
plugin once it is active, so @enabled-plugins can only add to the enabled
plugins.
Edward
--
You received this message because you are subscribed to a topic in the Google
Groups "leo-editor" group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/leo-editor/Y6KRkP5wi2o/unsubscribe.
To unsubscribe from this group and all its topics, send an email to
[email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/CAMF8tS1inHfpBc5nu1DdL%3DsVrVJeQ06s0T-%3D_XAMr4T%2BjL5o8w%40mail.gmail.com.
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/476602438.7289739.1596277781159%40mail.yahoo.com.
