Ou la gestion de l'UEFI: on oublie souvent de mettre à jour le répertoire
/boot/efi du deuxième disque, vu que c'est pas en raid1... Là du coup avantage au
matériel, puisque du coup le bios ne voit qu'un disque.

Un script ultra-basique comme ça fait le job:

.../...

Mais c'est quand même moche.

C'est l'UEFI qui est moche, et totalement useless¹, mais c'est pas politiquement correct de le dire.

¹ Dans un contexte où un minix est dans le processeur et que tous les composants clés (interface réseaux, etc) ne doivent pas être moins plombées.

-- 
Stéphane Rivière
Ile d'Oléron - France