On Sat, Apr 7, 2018 at 8:11 AM, Viktor Ransmayr <viktor.ransm...@gmail.com>

> Hello Edward,
> 2018-04-07 14:24 GMT+02:00 Edward K. Ream <edream...@gmail.com>:
>> On Thursday, April 5, 2018 at 1:52:11 PM UTC-5, Viktor Ransmayr wrote:
>>> Why not just use git pull from inside any VE you like?
>>> Because then I have to take care of installing all the required
>>> dependencies into the dedicated VE myself !
>> Imo, you are making more work for yourself, not less, by relying on Leo
>> to set up environments for you.
>> Indeed, you, not Leo, should control what goes into to a VE.  You set it
>> up once, exactly as you want it, and then, whenever you like, you do a git
>> pull to update Leo.
> Yes, if I take the role of a **Leo-Developer**, I fully agree with you!

​Regardless of your role, the easy way (the *real*, *actual*, easy way) to
keep Leo up to date is to do git pull.  Whether that is in a VE or not is
your choice.  Anything else is more work in the long run.


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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to