Thank you Viktor for those enlightening facts. Much appreciated input! --
BTW Edward, please feel free to move leoserver.py and leoclient.py inside the /leo/ folder. Its not too bad still somewhat easy to browse too, for users setting up a remote client like leointeg. (It's still easier than the old <root>/leo/core/ that it initially was.) I'll pick it up from there next week when I merge the leoserver / client cleanup/refactor that I started. -- Félix On Saturday, May 22, 2021 at 12:16:19 AM UTC-4 [email protected] wrote: > Hello Félix, hello Edward, > > Félix schrieb am Freitag, 21. Mai 2021 um 04:05:14 UTC+2: > >> >> Now something that popped in my mind a second ago is intriguing me very >> much: If someone had installed Leo with pip, would then it be possible for >> that person to just start Leo, open leopyref.leo, hit ctrl+s, and have >> launchLeo.py , flake8-leo.py, launchLeo-console.py, etc. be generated in >> their root Leo installation folder? > > > I don't think this is a good idea. - Matt Wilkie described the WHY well > in issue 603 [1]: > > """ Basically anything in the root folder of the leo-editor code > repository is not installed when using pip. This > is because they need to be relative to ./leo-editor/leo folder, which > make them at the top of ./site-packages, > and thus in the global namespace and not part of leo (as far as python is > concerned). ... """ > > I believe it is time now to seriously discuss his other proposal on "Root > source code folder cleanup: justify your existence or be banished!"" [2] > as well. > > With kind regards, > > Viktor > -- > > [1] https://github.com/leo-editor/leo-editor/issues/603#issue-279265779 > > [2] > https://github.com/leo-editor/leo-editor/issues/603#issuecomment-350173140 > > -- 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/10beed72-5db8-4094-86e8-4c930fe3aefcn%40googlegroups.com.
