Cool! I'll look into this after I finish with the Winkey-bad-symbols issue.
On Wednesday, March 9, 2022 at 12:18:15 PM UTC-5 Edward K. Ream wrote: > On Wed, Mar 9, 2022 at 10:37 AM [email protected] <[email protected]> > wrote: > >> So really, I need a Leo client...I wonder if there's an almost-no-effort >> solution lurking here (apart from running leointeg on the remote machine, I >> mean). >> > > Sounds like exactly the right question to ask. > > There is no need to duplicate leointeg's logic because Leo *itself* is > available remotely. Perhaps the remote Leo needs only two new commands: > > 1: get a remote outline by name and > 2: save the remote outline (possibly with another name) > > Presumably these commands would work by making requests of the server > using a simple client. > > leo/core/leoclient.py would be a good start. *client_main_loop* does all > the heavy lifting. At present, this function just echos responses from the > server, but it could run silently. > > *Summary* > > Two new commands might suffice to allow Leo to use a remote outline. These > two commands imply two (new?) server responses: *get_remote_outline* and > *save_remote_outline*. > > This seems like a low (not-quite-almost-no-effort :-) solution. > > Félix, what do you think? > > Edward > -- 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/b58f5064-7575-489a-a454-3b469ff29eden%40googlegroups.com.
