Bonjour, Alors pour clarifier les choses : A une époque on avait une partition de boot (souvent formaté en ext2) que l'on montait dans /boot . Ceci n'est plus nécessaire depuis très longtemps, sauf dans de très rare cas que l'on ne va pas aborder ici. Et maintenant avec un boot UEFI (au lieu d'un b...

Hello la commu :) Voilà rapidement le scénario : Installation de Windows 10 déjà présente, j'ai installé arch linux en ligne de commande (sans utiliser le script archinstall), dans le but d'avoir un dual-boot arch/windows. Je pense que je me suis trompé au moment d'installer GRUB et les images linux...