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. -- With best regards, Vlad 'mend0za' Shakhov. icq: 78193930 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
