FWIW I usually run Leo from a direct desktop shortcut - having different command files to run with different command-line parameters is something ... unusual. I only ever do it if I have had a crash and am trying to see what is going on. Having a series of batch/sh files seems very ... 1990s to me...
On Friday, June 30, 2023 at 3:01:24 PM UTC+1 Edward K. Ream wrote: > On Fri, Jun 30, 2023 at 8:53 AM jkn wrote: > > The idea, n*ow fully realized* in PR #3215 >> <https://github.com/leo-editor/leo-editor/pull/3215>, is this: >> >> 1. On exit, Leo *always* saves a list of open outlines (automatic >> session-snapshot-save). >> 2. When you open Leo without specifying any files Leo opens the saved >> list of outlines (automatic session-snapshot-load). >> >> >> That sounds reasonable enough. Might it be worth making (1) alterable via >> an @setting variable? >> > > I'd rather not :-) > >> I can just see some scenario where you have a usual set of sessions >> saved, but want to have a 'scratch' session with a different set, or just >> one file or something. >> > > Well, the "usual set" implies that a script file would work. For example, > I use scripts with names like 'e' (my personal outline), 't' (test.leo', > 'd' (LeoDocs.leo) and 's' (leoPy.leo). > > Yes. I *could* just always type 'leo', but that's two too many letters! > >> FWIW I rarely use session-snapshot-load, just when I change my 'default' >> session setup. So I would no longer need to do this. >> > > As you say, there is a very slight advantage to doing session save/load > manually, but I don't think the advantage is worth yet another setting! > > I'll attempt to give this a try soon. >> > > Great. Please tell us about your experience. > > 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/ec48f512-d370-4470-b848-23ec815b9d09n%40googlegroups.com.
