On Wed, 20 Aug 2008 07:46:41 -0700 (PDT) "Edward K. Ream" <[EMAIL PROTECTED]> wrote:
> 1) will just cause more confusion, and 2) just delays the "day of > transition" to a time when we've all forgotten the issues > involved :-) Imo, the thing to do is simply to make the transition > *now*, and get the pain over with. Leo can, without confusion, warn > that it is ignoring $HOME/.myLeoSettings.leo. Apart from the fact you meant "$HOME/myLeoSettings.leo" :) I (the source of (1) and (2)) agree - better to just insist on the correct location and yell at the user, than to allow either. > 3. (controversial?) The present code creates myLeoSettings.leo if it > doesn't exist. I don't like it, and it has already created > installation problems. This should be an option, but it can't be an > option because creating myLeoSettings.leo happens too early. Creating config files in a users home dir if not present is very common practice, I've never really seen it cause problems. It amuses me that I have config for apps I haven't used for 10-12 years, while Windows struggles to get your settings through a single upgrade without losing them :-) > So I'm going to take out this code. A create-my-leo-settings-leo > command might be helpful... I didn't see the installation problem, but I can't imagine why creating if not present doesn't work for leo when it works for so many other apps. However if you are going to stop doing that, then I think the menu command "edit settings" should create it (if needed), then edit it. > So much for configuration settings, per se. What about the so called CWD/myLeoSettings.leo, I assume that moves to CWD/.leo/myLeoSettings.leo? Along with CWD/.leo/shadow I think that would be tidiest. Cheers -Terry --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en -~----------~----~----~----~------~----~------~--~---
