On Sat, 20 Feb 1999, Yves Perrey wrote:
> Tu m'as mis la puce a l'oreille avec vga=ask !
> L'explication : dans /etc/rc.d/rc.sysinit il y a un script
> /sbin/setsysfont qui est lance, juste apres la monte des filesystems
> locaux (mount -a -t nonfs,proc). Ce script appelle /usr/bin/setfont qui
> peut prendre en charge des fontes particulieres eventuelles (man setfont
> - ca fait partie du kit "internationalisation").
> Ca doit expliquer les variations de tailles de fontes que tu percois au
> lancement de ce script lors du boot.
Ce n'est pas moi qui ai pose la question au debut, mais merci pour ces
infos, ce probleme me travaillait aussi.
---------------------------------------------------------
Guillaume Allègre Guillaume.Allegre@???
« La Malepeste soit de cette homonymie ! » (G. Brassens)
Équipe Géométrie Algorithmique - LMC-IMAG Grenoble