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 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) timeout 40 totaltimeout 1200