Hallo Andrei, auch dir vielen Dank für das anschauliche Beispiel. Ich habe die Geschichte mit default und savedefault und grub-set-default jetzt wohl verstanden. Nur in der Manpage wird nicht erwähnt, dass grub-set-default nur funktioniert, wenn in der menu.lst 'default saved' gesetzt ist. Schöne Grüße von Simon