Bonjour,
j'ai le meme problême que shinebonestar, à savoir que ma partition linux est trop petite et que je n'arrive pas à l'augmenter en bootant sur une live usb et utilisant gparted. j'ai reduit windows à 131 GB et j'ai une zone non allouée de 117 GB que j'aimerais attribuer à Linux.
Que faire ...
2 résultats trouvés
- ven. 22 mai 2026 16:06
- Forum : Assistance technique générale (hors autres rubriques)
- Sujet : Augmenter la taille de la partition home
- Réponses : 20
- Vues : 3175
- ven. 22 mai 2026 14:30
- Forum : Présentez-vous
- Sujet : presentation de BEAR44
- Réponses : 3
- Vues : 52
presentation de BEAR44
Bonjour à tous,
j'ai 71 ans et il n'est jamais trop tard pour se lancer dans l'aventure Linux.
Je vais avoir besoin d'aide car en installant Mint 22.3 en dualboot avec windows 10 la partition de Linux est trop petite pour installer les paquets et je ne sais pas comment faire pour augmenter sa ...
j'ai 71 ans et il n'est jamais trop tard pour se lancer dans l'aventure Linux.
Je vais avoir besoin d'aide car en installant Mint 22.3 en dualboot avec windows 10 la partition de Linux est trop petite pour installer les paquets et je ne sais pas comment faire pour augmenter sa ...