Page 1 sur 3
Augmenter la taille de la partition home
Posté : jeu. 10 oct. 2019 19:57
par Shinebonestar
Bonsoir !
J'ai installé Linux cet après midi en suivant des tutoriels sur youtube, n'ayant absolument aucune connaissance
Après avoir téléchargé quelques programmes, ma partition home se retrouve déjà saturée, alors que je lui avait donné 30GO.
Auriez vous quelques conseils pour aggrandir la taille de la partition ? Je suis désolé s'il y a quelques imprécisions dans ma question, c'est que je suis vraiment débutant et malgré mes recherches sur les autres sites je n'ai rien trouvé.
J'ai téléchargé Gparted, néanmoins je ne peux pas augmenter la partition avec : le curseur est bloqué.
Je ne peux pas vous montrer de capture d'écran pour vous montrer la situation, quand j'essaie d'enregistrer l'image, je recois un message d'erreur pour l'enregistrement du fichier.
Décidément, c'est moins facile que Windows lol...
Merci d'avance
Re: Augmenter la taille de la partition home
Posté : jeu. 10 oct. 2019 20:01
par zeb
Shinebonestar a écrit : jeu. 10 oct. 2019 19:57
Décidément, c'est moins facile que Windows lol...

ca commence bien

désolé, la meme manip sous windows, je ne sais pas faire

donc ilinux est bien plus facile que windows

Re: Augmenter la taille de la partition home
Posté : jeu. 10 oct. 2019 20:03
par Shinebonestar
Ah merci

Je vais donc devoir réinstaller linux pour choisir les bonnes dimensions de partition ?
Re: Augmenter la taille de la partition home
Posté : jeu. 10 oct. 2019 20:09
par zeb
En général on aime pas quand on dit que windows est plus facile que linux car se n'est pas vrai, les comparaisons s’arrêtent au niveau du matériel (problème de ram, c'est pas matériel car wind reconnaît sans problème).
Mais je suis sympa

tu redémarres depuis un live et tu fais avec gparted, pour intervenir il faut que ta partition soit démontée, d’où le live

Re: Augmenter la taille de la partition home
Posté : jeu. 10 oct. 2019 20:28
par Shinebonestar
D'accord ! Merci je vais tester ça.
Désolé je ne voulais pas être désagréable, c'est juste qu'en étant pas très en informatique de base, changer d'environnement c'est encore plus dur pour un petit joueur comme moi

C'est ce que je voulais dire, ce n'était en aucun cas méchant, et je m'en excuse si j'ai pu paraitre hautain. Si j'essaie de basculer vers Linux c'est bien que Windows ne me satisfait pas entièrement

Re: Augmenter la taille de la partition home
Posté : jeu. 10 oct. 2019 21:46
par zeb
Y a pas de soucis

Re: Augmenter la taille de la partition home
Posté : ven. 11 oct. 2019 08:20
par tescan
Bonjour,
tu ne peux pas modifier une partition système montée, c'est assez logique, on ne scie pas la branche sur laquelle on est assis...
Pour modifier ta/tes partitions il faut le faire avec gparted depuis une installation live (ta clef ou dvd d'installation) ou depuis un autre linux installé.
Re: Augmenter la taille de la partition home
Posté : ven. 11 oct. 2019 15:30
par zeb
Re: Augmenter la taille de la partition home
Posté : sam. 12 oct. 2019 07:55
par Shinebonestar
D'accord, merci pour vos réponses

J'ai pas l'air très malin ahah
Je rééesaye ce soir, lors de mes nombreuses dernières tentatives, rien ne se passait lorsque je sélectionnais ma clé dans le menu de démarrage. Pourtant j'avais bien installé Gparted dessus à l'aide d'Unetboot.
Re: Augmenter la taille de la partition home
Posté : sam. 12 oct. 2019 10:51
par zeb
Shinebonestar a écrit : sam. 12 oct. 2019 07:55
Pourtant j'avais bien installé Gparted dessus à l'aide d'Unetboot.
Non, tu démarres linux mint via ta clé usb (le live) ensuite tu ouvres gparted (qui doit être installé par défaut sur le live de mint) puis tu fais ta manip.
C'est aussi simple que ca

fais quand même une sauvegarde de tes données avant
