2 set default="FAI server via dns"
4 set resolution=1024x768
6 if loadfont /boot/grub/unicode.pf2 ; then
11 terminal_output gfxterm
14 if background_image /boot/grub/fai.png ; then
15 set color_normal=black/black
16 set color_highlight=red/black
17 set menu_color_normal=black/black
18 set menu_color_highlight=black/yellow
20 set menu_color_normal=white/black
21 set menu_color_highlight=black/yellow
24 # make sure we can access partitions
28 if [ ${iso_path} ] ; then
29 set loopback="findiso=${iso_path}"
32 menuentry "" --unrestricted {
33 set gfxpayload=$resolution
35 menuentry " +------------------------------------------------------+" --unrestricted {
36 set gfxpayload=$resolution
39 menuentry " | Fully Automatic Installation |" --unrestricted {
40 set gfxpayload=$resolution
43 menuentry " | _VERSIONSTRING_ |" --unrestricted {
44 set gfxpayload=$resolution
47 menuentry " | (c) Thomas Lange lange@debian.org |" --unrestricted {
48 set gfxpayload=$resolution
50 menuentry " +------------------------------------------------------+" --unrestricted {
51 set gfxpayload=$resolution
54 menuentry "" --unrestricted {
55 set gfxpayload=$resolution
58 # ian: Added this from fai
59 # note, we could replace faiserver with an ip if we didn't want to mess with dns.
60 # args are copied from myfai-chboot-local.
61 # Note, for a real cd or usb flash, we probably do not want reboot, so we can remove the disk
62 # after install is done
63 menuentry "FAI server via dns" {
64 set gfxpayload=$resolution
65 linux /boot/vmlinuz FAI_FLAGS=verbose,sshd,createvt,reboot FAI_CONFIG_SRC=nfs://faiserver/srv/fai/config root=/dev/nfs rw nfsroot=faiserver:/srv/fai/nfsroot,vers=3,nolock aufs rootovl ip=dhcp FAI_FLAGS=verbose,sshd,createvt
66 initrd /boot/initrd.img
69 menuentry "Autodiscover the FAI server" {
70 set gfxpayload=$resolution
71 linux /boot/vmlinuz FAI_FLAGS="menu,verbose,createvt,reboot" fai.discover aufs rootovl root=/dev/nfs ip=dhcp quiet
72 initrd /boot/initrd.img
76 menuentry "Boot OS of first partition on first disk" --unrestricted {
81 if [ "$root" = "hd1" ]; then
85 if [ "$root" = "hd0" ]; then