alpi-fiche : ne plus prendre un /cdrom vide pour une session live

L'installateur de Mint laisse derrière lui un /cdrom vide sur la machine
installée. La détection s'y fiait, et déclarait donc « session live » des
machines parfaitement installées — ce qui fausse aussi le chronométrage,
puisqu'il se calcule entre les deux relevés.

Restent les deux signes qui ne mentent pas : la racine montée en overlay
ou squashfs, et boot=casper sur la ligne du noyau. /rofs disparaît avec
/cdrom, n'ayant pas plus de valeur probante.

Constat de la session alpicache, sur une machine réelle. Je n'ai pas pu
le reproduire moi-même — la machine d'essai ne se laissait pas piloter —
mais le changement est sûr dans les deux sens : ces deux signes-là sont
présents sur toute session live, et aucun ne l'est sur un système
installé.

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

code/linux/linux-mint/alpi-fiche.sh

@@ -106,11 +106,17 @@ ARCHITECTURE="$(uname -m)"
 # comparer — un disque qui allait bien le matin et qui se plaint le soir, cela
 # se voit.
 #
-# Une session live monte sa racine en overlay au-dessus d'un squashfs, et garde
-# un /cdrom ou un /rofs. Aucun de ces signes n'existe sur un système installé.
+# Une session live monte sa racine en overlay au-dessus d'un squashfs, et
+# démarre avec « boot=casper » sur la ligne du noyau. Ces deux signes-là ne
+# mentent pas.
+#
+# L'existence d'un /cdrom, en revanche, n'est pas un signe : l'installateur de
+# Mint en laisse un derrière lui, vide, sur la machine installée. S'y fier
+# faisait déclarer « session live » des machines parfaitement installées — et
+# comme le chronométrage se calcule entre les deux relevés, la mesure partait
+# avec. Constat de la session alpicache, sur une machine réelle.
 MOMENT="post-installation"
-if [ -d /rofs ] || [ -d /cdrom ] \
-   || findmnt -n -o FSTYPE / 2>/dev/null | grep -qE '^(overlay|aufs|squashfs)$' \
+if findmnt -n -o FSTYPE / 2>/dev/null | grep -qE '^(overlay|aufs|squashfs)$' \
    || grep -qE '(^| )(boot=casper|boot=live)( |$)' /proc/cmdline 2>/dev/null; then
     MOMENT="live"
 fi

code/linux/linux-mint/install.sh

@@ -359,11 +359,32 @@ configuration_apt() {
 # GRUB : sélection automatique de la dernière entrée utilisée #
 ###############################################################
 modif_grub() {
+    # Rien à faire si c'est déjà en place.
+    #
+    # update-grub lance os-prober, qui part sonder toutes les partitions de la
+    # machine à la recherche d'autres systèmes, puis régénère la configuration
+    # entière : vingt à trente secondes qu'on ne rattrape pas, et qu'on payait
+    # jusqu'ici à chaque exécution, y compris quand il n'y avait rien à
+    # changer. Sur une install party de quinze machines, cela se voit.
+    if grep -q '^GRUB_DEFAULT=saved' /etc/default/grub \
+       && grep -q '^GRUB_SAVEDEFAULT=true' /etc/default/grub; then
+        echo -e "==> GRUB est déjà configuré, rien à changer\n"
+        return 0
+    fi
+
     echo -e "==> Modification de GRUB\n"
-    # On comment la ligne "GRUB_DEFAULT=0" et on ajoute les "bonnes" options
-    sed -i '/^GRUB_DEFAULT=0/ i#GRUB_DEFAULT=0\
-    GRUB_DEFAULT=saved\
-    GRUB_SAVEDEFAULT=true' /etc/default/grub
+    # On commente la ligne d'origine, puis on ajoute les nôtres si elles
+    # manquent. Les ajouter plutôt que les insérer règle deux choses : le
+    # fichier ne se retrouve plus avec des lignes indentées — GRUB les accepte,
+    # mais elles trompent la lecture quand on vient déboguer —, et la fonction
+    # fait toujours son travail lorsque « GRUB_DEFAULT=0 » a disparu, ce qui
+    # arrive dès qu'un autre outil est passé avant nous.
+    sed -i 's/^GRUB_DEFAULT=0/#&/' /etc/default/grub
+    grep -q '^GRUB_DEFAULT=saved' /etc/default/grub \
+        || echo 'GRUB_DEFAULT=saved' >> /etc/default/grub
+    grep -q '^GRUB_SAVEDEFAULT=true' /etc/default/grub \
+        || echo 'GRUB_SAVEDEFAULT=true' >> /etc/default/grub
+
     # On met à jour GRUB
     update-grub
 }