Le 29/06/2024 à 09:26, Michel Verdier a écrit :
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.
Ca y est !
J'ai pu installer la Debian 12 non sans mal a cause d'un bios mal
documenté.
Grub est installé sur la Debian mais même s'il offre la possibilité de
démarrer par Windows boot, ça ne fonctionne pas : il faut pour cela
modifier l'ordre de boot dans le bios !
Ce n'est pas grave la machine sera exploitée essentiellement sous Linux :-D
Un vrai bazar ces machines qui posent toujours les (mêmes) problèmes à
plein d'utilisateurs.
Un coté positif: la carte WiFi AC3160 qui ne fonctionne pas sous Windows
parce que Microsoft ne la supporte plus sous Win11, fonctionne sous
Linux ...🙂
Bref, l'achat d'un mini PC HP de la serie Prodesk G600 G4 mini n'est pas
la meilleure idée que j'ai pu avoir !!
Merci à tous de vos avis et bon WE
