Ne pas régénérer GRUB quand il est déjà configuré #15

Merged

Cédric A5L merged 1 commit from corrige-grub into main

2026-09-24 22:35:00 +02:00

Cédric A5L commented

2026-09-24 22:34:41 +02:00

Owner

update-grub lance os-prober, qui sonde toutes les partitions, puis régénère la configuration entière : vingt à trente secondes par machine, payées même quand il n'y a rien à changer. Sur quinze machines, cela se voit.

La fonction vérifie donc d'abord et sort si les deux réglages sont là.

Deux défauts corrigés au passage :

le sed insérait ses lignes avec l'indentation du script — /etc/default/grub se retrouvait avec des directives décalées, que GRUB accepte mais qui trompent la lecture ;
il ne faisait rien du tout si GRUB_DEFAULT=0 avait disparu, ce qui arrive dès qu'un autre outil est passé avant nous. Les lignes sont maintenant ajoutées si elles manquent, plutôt qu'insérées avant une ligne qui peut ne plus exister.

Remarque de Cédrix sur une machine réelle, ce soir.

`update-grub` lance `os-prober`, qui sonde toutes les partitions, puis régénère la configuration entière : vingt à trente secondes par machine, payées même quand il n'y a rien à changer. Sur quinze machines, cela se voit. La fonction vérifie donc d'abord et sort si les deux réglages sont là. Deux défauts corrigés au passage : - le `sed` insérait ses lignes **avec l'indentation du script** — `/etc/default/grub` se retrouvait avec des directives décalées, que GRUB accepte mais qui trompent la lecture ; - il ne faisait **rien du tout** si `GRUB_DEFAULT=0` avait disparu, ce qui arrive dès qu'un autre outil est passé avant nous. Les lignes sont maintenant ajoutées si elles manquent, plutôt qu'insérées avant une ligne qui peut ne plus exister. Remarque de Cédrix sur une machine réelle, ce soir.

Cédric A5L added 1 commit 2026-09-24 22:34:42 +02:00

Ne pas régénérer GRUB quand il est déjà configuré 369a7f2b82

update-grub lance os-prober, qui sonde toutes les partitions à la recherche
d'autres systèmes, puis régénère la configuration entière : vingt à trente
secondes par machine, payées jusqu'ici même lorsqu'il n'y avait rien à changer.
Sur une install party de quinze machines, cela se voit.

La fonction vérifie donc d'abord, et sort si les deux réglages sont là.

Deux défauts corrigés au passage. Le sed insérait ses lignes avec
l'indentation du script : /etc/default/grub se retrouvait avec des directives
décalées, que GRUB accepte mais qui trompent la lecture quand on vient
déboguer. Et il ne faisait rien du tout si « GRUB_DEFAULT=0 » avait disparu,
ce qui arrive dès qu'un autre outil est passé avant nous — les deux lignes sont
désormais ajoutées si elles manquent, plutôt qu'insérées avant une ligne qui
peut ne plus exister.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XLTJ8DoPfvhZMK5Yxtrfx2

Cédric A5L merged commit 6a82dbfd81 into main

2026-09-24 22:35:00 +02:00

Cédric A5L referenced this pull request from a commit

2026-09-24 22:35:03 +02:00

Ne pas régénérer GRUB quand il est déjà configuré (#15)

No reviewers

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: alpinux.cedrica5l/alpinux-wiki#15

No description provided.