Hello Vlad, On Fri, Sep 08, 2006 at 01:35:31AM +0300, Vlad Shakhov wrote: > On Thu, Sep 07, 2006 at 04:17:38PM +0200, Peter Colberg wrote: > > Package: wdm > > Version: 1.28-2.1 > > Severity: normal > > Tags: patch > > > > In Debian, the font displayed with the wdm greeter is quite ugly. > > Changing to another font is not possible at the moment, as wdm simply > > ignores the appropriate option in `/etc/GNUstep/Defaults/WMGLOBAL'. > > > > Fortunately, there exists a compile time option with wdm which allows to > > set a fake $HOME path. Setting this to `/etc' makes the wdm greeter query > > the font settings in `/etc/GNUstep/Defaults/WMGLOBAL', which is available > > by default if wmaker is installed. In any case, it allows one to alter > > the greeter font. > > > > Could you please use said option `--with-fakehome=/etc' with configure? > > Hello, Peter > > Before do it, I need to check for possible side-effects of turning on > this option. Thanks for your report.
If it helps consideration, I found that advise[1] by the upstream author yesterday while reading through the wdm mailing list archive. (Before that, I used to have a custom patch to wdm which set the environment variable GNUSTEP_USER_ROOT to `/etc/GNUstep', which does indeed seem a little less dangerous.) Regards, Peter [1] http://lists.lrn.ru/pipermail/wdm/2005-May/000195.html -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
