On Thu, Mar 05, 2009 at 07:48:20PM +0100, Julien Pecqueur (JPEC) wrote:
>> As a side note, you shouldn't modify rc.wmii, just add a rc.wmii.local
>> file.
>
>This rc.wmii is in my local folder ~/.wmii-hg, it's not the /etc/wmii file.
I know, but that's not the point. The whole purpose of
rc.wmii.local is that your rc only contains customizations,
rather than a preamble with customizations followed by the
default values. That way, a) you don't have to muddle through
the default values every time you look at your customizations,
and b) you don't have to worry about keeping in sync with the
upstream changes.
-- Kris Maglione Beware of bugs in the above code; I have only proved it correct, not tried it. --Donald KnuthReceived on Thu Mar 05 2009 - 19:26:36 UTC
This archive was generated by hypermail 2.2.0 : Thu Mar 05 2009 - 19:36:08 UTC