Hi, editing /etc/kbd/config and setting LEDS=+num has not any effect. how to do this ? Regards, Steph