> 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
