2014-09-08 09:49:55 +02:00
|
|
|
menu begin diagnostic
|
|
|
|
|
menu title ^Hardware diagnostic
|
|
|
|
|
include config/diag/menu.cfg
|
|
|
|
|
menu end
|
|
|
|
|
|
|
|
|
|
label separator
|
|
|
|
|
menu label -----
|
|
|
|
|
|
|
|
|
|
menu begin debian
|
|
|
|
|
menu title ^Debian Install
|
|
|
|
|
include config/debian/menu.cfg
|
|
|
|
|
menu end
|
|
|
|
|
|
|
|
|
|
menu begin ubuntu
|
|
|
|
|
menu title ^Ubuntu Install
|
|
|
|
|
include config/ubuntu/menu.cfg
|
|
|
|
|
menu end
|
|
|
|
|
|
|
|
|
|
menu begin centos
|
|
|
|
|
menu title ^CentOS Install
|
|
|
|
|
include config/centos/menu.cfg
|
|
|
|
|
menu end
|
|
|
|
|
|
|
|
|
|
menu begin clonezilla
|
|
|
|
|
menu title ^Clonezilla Live
|
|
|
|
|
include config/clonezilla/menu.cfg
|
|
|
|
|
menu end
|
|
|
|
|
|
|
|
|
|
label separator
|
|
|
|
|
menu label -----
|
|
|
|
|
|
|
|
|
|
label bootlocal
|
|
|
|
|
menu label ^Boot from local disk
|
|
|
|
|
menu default
|
2015-06-26 10:48:59 +02:00
|
|
|
localboot -1 # 0 (instead of -1) causes some machines to fail to boot on local disk (see http://bugzilla.ipr.univ-rennes1.fr/show_bug.cgi?id=978)
|
2014-09-08 09:49:55 +02:00
|
|
|
timeout 40
|
|
|
|
|
totaltimeout 1200
|
