Forum-Francophone-LinuxMint.fr

Dernier message de la page précédente :

Salut,

HarDrive a écrit :Je crois donc en déduire que si sur le guide d'installation linux, il est conseillé de donner une taille de 100 Go à la racine (une taille dite "décente"), c'est sans doute alors parce que dans ce cas précis présenté par le guide il n'a pas été prévu de partition "home" supplémentaire pour les données utilisateurs, et que celles ci doivent prendre place sur la racine également ?

Très bonne déduction
Donc, si tu as un /home séparé, tu peux redimensionner ta partition racine sans souci à 30Go.

Impecc, merci à toi;

Bonjour,

finalement j'ai, via Gparted linux live usb, redimensionné ma racine de 109.83 Gio à 37.10 Gio (et donc le home en conséquence, dans la proportion inverse) de cet état:

à cet état:


Pas de souci en apparence; cela dit je m'étonne néanmoins que "l'espace utilisé", donc utilisé par Linux je présume, semble passer d'après ce qui est indiqué, de 7.82 Gio à 7.05 Gio; donc est-ce normal, ou peut-on éventuellement craindre que certains éléments de Linux aient été effacés (bon, l'ordi. a l'air de tourner normalement pour l'instant...) ?

Merci d'avance... !

Bonjour,

Je ne pense pas que ça ait de l'importance, cette utilisation de 800 Mo en moins, déjà que le /var dans la partition principale peut très fort varier selon ce que tu as déjà utilisé pendant ta session.

Ah, ok,..je ne savais pas que ça pouvait varier;
Merci du tuyau,
Bonne journée

En tout cas, /var/tmp varie pas mal, lui.
Bonne journée aussi.

re HarDrive,

Si le sujet est résolu, merci d'éditer le premier message du sujet, puis :

1. mettre un petit , comme suit : voir tuto ici
2. mettre un [résolu] (entre crochets et à gauche) dans le titre de ce premier message

(Ah...y faut tout leur dire..!)

.....ok;

Slt ,
l'espace représenter en jaune sur tes capture gparted , représente le journal de ton système de fichier ; EXT3 , EXT4 son des système de fichier
journalisé , et donc plus la partition est grande plus l'espace du journal l'est
plus d'infos ici : https://fr.wikipedia.org/wiki/Journal_(syst%C3%A8me_de_fichiers" onclick="window.open(this.href);return false;)
@+

Bonjour Tyrry

merci pour ces éléments...... :

l'espace représenté en jaune sur tes captures gparted , représente le journal de ton système de fichier............. et donc plus la partition est grande plus l'espace du journal l'est

...et donc ?..cela a-t-il une conséquence par rapport à la question que je me pose concernant la taille occupée par Linux selon la taille de la partition ? Plus grande la partition, plus grand l'espace du journal et..plus petit l'espace utilisé par Linux ?

Merci

HarDrive a écrit :...et donc ?..cela a-t-il une conséquence par rapport à la question que je me pose concernant la taille occupée par Linux selon la taille de la partition ? Plus grande la partition, plus grand l'espace du journal et..plus petit l'espace utilisé par Linux ?

Non, c'est proportionnel. Donc plus ta partition est grande, plus l'espace alloué à la journalisation est grande, mais l'espace utilisable reste évidemment plus grand. Et inversement.