Re: partitions supplémentaires
> mon système linux est pour l'instant installé sur une seule partition ext3
> de 10 gigas. Comme il me plait bien et que j'ai un grand disque dur, j'ai la
> possibilité de lui accorder 15 gigas supplémentaires (= pour l'instant une
> partition fat32).
chez moi : une sid avec tout kde + OOo + Mozilla
Filesystem Size Used Avail Use% Mounted on
/dev/hda6 471M 171M 277M 39% /
ext3, comme les suivantes sauf mention contraire.
très confortable.
/dev/hda7 3,3G 2,0G 1,2G 63% /usr
Assez plein mais j'ai jamais fait plus...
Elle est en ext2, en read-only (sécurité, performances.)
/dev/hda8 471M 703K 446M 1% /tmp
trop grand, mais j'avais de la place
ext2 (n'est pas sensés contenir beaucoup de fichiers, et ils ne sont
pass sensés survivree au reboot)
/dev/hda9 942M 123M 772M 14% /var
très confortable tant qu'il n'y a pas un gros ftp ou www. Attention,
un upgrade de sid peut charget > 300 Mo, et apt-build compile dans
/var/
/dev/hda10 4,7G 110M 4,6G 3% /home
C'est selon... Je pense qu'il n'y a pas de nécessité de faire un /home
trop grand. Si un répertoire doit vraiment être gros, on peut faire un
lien vers /usr/local
/dev/hda11 4,6G 92M 4,3G 3% /usr/local
C'est là qu'on installe les trucs extérieurs, et c'est là que je
compile et fais mes debiâneries.
/dev/hda1 6,9G 4,7G 2,2G 69% /mnt/XP
désolé ;)
/dev/hda5 3,8G 3,7G 112M 98% /mnt/restore
4 Go de perdus, mais je la garde pour le jour où je cède la machine.
Ne pas oublier un peu de swap...
Dans ton cas, je profiterais de l'espace pour séparer /usr,
/var. /tmp, /home et /usr/local. Il faut éviter que lorsque l'un de
ces répertoires se remplit par accident, le système ne puisse plus
écrire dans les autres.
Charles
Reply to: