On 03/03/2012 10:47 PM, Rodolfo García Peñas wrote:
> On Sat, 03 Mar 2012, Paul Seelig escribió:
>>> About /etc/GNUstep:
>>> - WindowMaker is a part of GNUstep? No.
>>>
>> No, it isn't, but $HOME/GNUstep still remains unchanged, isn't it?.
>
> This is a different thing. This week somebody did the same question, using
> .wmaker instead GNUstep.
> Probably, should be continue with that mail.
>
No, this is not at all a different thing in context of what i wrote
earlier. It is the context which i referred to that matters here.
It definitely is of no real importance whether the configuration
location is called "GNUstep", or "WindowMaker", or "WMakerIsFarOut", but
from a usability point of view it really shouldn't result in such a
diversified configuration directory layout as the following:
/etc/WindowMaker + $HOME/GNUstep
or
/etc/GNUstep + $HOME/WindowMaker
In order to maintain some uniformity it should be rather something like
this:
/etc/GNUstep + $HOME/GNUstep
or
/etc/WindowMaker + $HOME/WindowMaker
or even
/etc/wmaker + $HOME/.wmaker
Let's just try to get it as uniform as possible. If what makes Window
Maker stand out is superior usability, it really shouldn't stop while
being applied to its configuration directory names.
Please understand that i don't intent to quarrel about it. I just want
to point everybody involved to an aspect which, in my humble opinion, is
not sufficiently honored and appears to be simply overlooked.
Please just think about it in all calmness over the weekend.
> Ok, I made a mistake. Is not in upstream :-?
>
Ok, no problem.
>> Nonetheless, i still think that this is a very bad idea in light of the
>> uniformity of configuration file locations, if $HOME/GNUstep is not
>> adapted accordingly.
>
> Ok, IMO we should do the same that upstream. IMO, we should move to
> /etc/WindowMaker.
>
Wherever you please, but please just make it uniform between the global
configuration directory with the user's one, as outlined above.
> Ok, we should wait for comments.
>
+1
Thanks!
Paul
--
To unsubscribe, send mail to [email protected].
