(set! driver-path '("~/console-drivers" "/lib/hurd/console-client")) (set! drivers '(vga pc_kbd pc_speaker))
(set! vga/font "10x20") (set! vga/max-colors 256)
(set! dpms/standby 'vga-standby (set! dpms/off 'vga-off (set! dpms/standby-timeout 400)
Isn't it enough something like that:
console ... -d vga font=10x20 max-colors=256 -d dpms standby=vga-standby standby-timeout=400 off=vga-off ...
(I know there is no dpms driver -- it's just an example.)
This could allow Guile configuration too.
This breaks the /dev/vcs argument so it should become option (with /dev/vcs as default?).
To get help for driver:
console -d vga help
Regards, ogi
_______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
