Le 28 juin 2024 Halbrante a écrit : > Merci de l'info. Je vais tenter de faire une petite partition comme vous le > suggérez mais je ne sais pas comment depuis Windows puisque Linux ne démarre > pas même en le mettant en tête du boot order !! > > J'ai bien essayé deux applications Windows pour redimentionner mais aucune > n'est gratuite et comme je ne fais pas d'installations Linux tous les matins > ...! > > Peut-être à l'installation il y a moyen de le faire même en choisissant un > partitionnement "automatique".
Oui c'est au moment de l'installation que tu peux formatter ton disque. Et si tu n'as pas déjà une partion /boot tu es obligé de refaire ton partitionnement. Si le partitionnement automatique ne te plait pas tu peux le refaire en manuel. Pour la taille de /boot mets quand même 300Mo, sinon tu seras juste pour les mises à jour du kernel.