Am Mittwoch 30 Dezember 2015, 06:21:45 schrieb Alexander Reichle-Schmehl: > > Ist > > dpkg-divert --divert /etc/grub.d/21_linux --rename /etc/grub.d/10_linux > > die Antwort auf dieses Problem? > > Würde es dafür nicht ausreichen, GRUB_DEFAULT=xx in /etc/default/grub > anzupassen? Wenn du an der Stelle mit Ziffern arbeitest, hast du das Problem, dass der Eintrag nicht mehr stimmen würde, falls z.B. nur ein weiterer Kernel installiert wird. Man könnte mit einer eindeutigen ID arbeiten, was die Sache aber nicht gerade vereinfacht. Gruß Uwe
Attachment:
signature.asc
Description: This is a digitally signed message part.