On Wed, Dec 11, 2013 at 7:37 PM, Seth Johnson <[email protected]> wrote: > (I'm not really back, but a good thought (I think) occurred to me > reading this one thread. inline . . .)
> How about: > > @bzr or @git instead of @file? > > Or @repository with params for different ones? Or @file would be extended with params that let it function as an automatic checkin/out function. Writing this, I'm feeling like this is all considerations that have likely already been addressed. Never mind if so. Seth > What if Leo logged commits in and out of the version control > repository for you? It might prompt you when it was about to do so, > so you would be able to choose how often that happens. Or it might > apply some sort of "good behavior" principle? > > </End of thought> > > Seth > > >>> 2. Nancy comes into play. >>> .. >>> I want to throw an arbitrary file at my @shadow (or whatever better >>> solution will be developed), and it shall be able to reconstruct the >>> original structure, even if the structure in the file is upside, all the >>> names have been changed, the file has grown or shrunk by a factor of two >>> (whatever), or even it doesn't have (or had) any discernible at all. Is this >>> doable? >> >> >> No. It's not possible. That's why @shadow really won't work. >> >> 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 post to this group, send email to [email protected]. >> Visit this group at http://groups.google.com/group/leo-editor. >> For more options, visit https://groups.google.com/groups/opt_out. -- 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
