pour les distros, en fait trois ça fait un peu moins de 40Go par unité, dans mon utilisation actuelle (Ubuntu) j'ai 15Go pour le / complet et je n'ai pas eu de Pb
Tout dépend de ton utilisation, comme je l'ai dit. En fonction du nombre de mises à jour que tu fait et des logiciels que tu installes, "/var/cache/apt/archives" va enfler plus ou moins vite. On peut le purger, bien sûr, mais quand ton système refuse de se comporter normalement parce que la racine est pleine, c'est beaucoup moins agréable. À une époque, je séparais beaucoup plus mes partitions, mais je me suis aperçu que ce n'était pas vraiment utile et même contre-productif par rapport à mon usage (notamment séparer /boot qui ne sert à rien du tout de nos jours).
Bref, tout dépend de ton usage.
Pour un simple XFCE+firefox+libreoffice avec juste les mises à jour de sécurité de Debian une fois par jour, tu pourrais même faire tout rentrer sur une unique partition de 10G, voire moins encore (je ne serai pas surpris que ça tienne sur 5...). Tout dépend, vraiment.
mais j'entends par là en fait ce que l'on met dans le /home d'une config classique.
Justement, dans le /home/$USER, tu as des fichiers de configs, des fichiers temporaires, des liens, et, enfin, des données utiles (genre les fichiers de sauvegarde de tes jeux, le dernier document office que tu as fait pour le patron, etc etc).
Le terme données est vraiment flou. Mais peu importe.
comment faire une partition dédiée aux données communes (à l'exception des dossiers .XXXX), puisque elles sont normalement dans le home de chaque distro.
Il faut distinguer 2 choses:
la partition, que tu peux mettre où tu veux (sur un disque mécanique il peut y avoir un intérêt à placer ses partitions en début de disque, mais c'est négligeable).
le point de montage, qui est le (pseudo-)fichier qui te permets d'accéder à tes partitions.
Admettons que tu soit le seul utilisateur de ton système. Dans ce cas, le plus simple est sûrement de faire ta partition partagée, de créer dedans les dossiers communs dans lesquels il n'y a pas de fichiers de configuration ni temporaires (ce sont eux qui peuvent poser problème au rythme des mises à jour) en donnant la propriété à l'utilisateur de ton choix (chown $USER:$GROUP -R $DossierCommun).
Une fois que ça c'est fait, il faut dire à tes distributions de monter la partition sur un point connu à chaque démarrage. Le fichier qui s'occupe de ça est /etc/fstab. Sa syntaxe est relativement triviale, mais si tu as un doute, man fstab devrait le dissiper.
Puis, pour chaque dossier créé, faire un lien symbolique pour remplacer les dossiers créés automatiquement.
Par exemple, admettons que tu aies monté ta partition partagée dans "/shared", que cette partition contienne les dossiers "Bureau" et "Téléchargement", et que ton nom utilisateur soit "freem":
Comme dit plus haut dans le fil par contre, les droits ne sont pas gérés par le nom de l'utilisateur, mais par des numéros (uid, User IDentifier—et gid pour Group ID, mais pas important pour le moment--). Si l'utilisateur freem à le même uid sur tous les systèmes, alors il n'y aura aucun problème. Ce sera très probable pour le 1er utilisateur créé sur Debian et Ubuntu, qui font commencer les uid "normaux" à 1000 toutes les deux. Pour mageia, je n'en sais rien, mais bon, ça se modifie. Pour savoir comment: man usermod.
J'ai essayé de faire simple et portable (aka: pas dépendant de tes logiciels) mais il existe d'autres façons de faire, plus ou moins automatisées. En fait, moi, un truc pareil j'écrirai un petit programme qui ferait le boulot à ma place mais je ne suis plus tout à fait un débutant ;)
[^] # Re: re
Posté par freem . En réponse au message partitionner pour une installation de plusieurs distributions. Évalué à 3. Dernière modification le 06 mars 2016 à 23:01.
Tout dépend de ton utilisation, comme je l'ai dit. En fonction du nombre de mises à jour que tu fait et des logiciels que tu installes, "/var/cache/apt/archives" va enfler plus ou moins vite. On peut le purger, bien sûr, mais quand ton système refuse de se comporter normalement parce que la racine est pleine, c'est beaucoup moins agréable. À une époque, je séparais beaucoup plus mes partitions, mais je me suis aperçu que ce n'était pas vraiment utile et même contre-productif par rapport à mon usage (notamment séparer /boot qui ne sert à rien du tout de nos jours).
Bref, tout dépend de ton usage.
Pour un simple XFCE+firefox+libreoffice avec juste les mises à jour de sécurité de Debian une fois par jour, tu pourrais même faire tout rentrer sur une unique partition de 10G, voire moins encore (je ne serai pas surpris que ça tienne sur 5...). Tout dépend, vraiment.
Justement, dans le /home/$USER, tu as des fichiers de configs, des fichiers temporaires, des liens, et, enfin, des données utiles (genre les fichiers de sauvegarde de tes jeux, le dernier document office que tu as fait pour le patron, etc etc).
Le terme données est vraiment flou. Mais peu importe.
Il faut distinguer 2 choses:
Admettons que tu soit le seul utilisateur de ton système. Dans ce cas, le plus simple est sûrement de faire ta partition partagée, de créer dedans les dossiers communs dans lesquels il n'y a pas de fichiers de configuration ni temporaires (ce sont eux qui peuvent poser problème au rythme des mises à jour) en donnant la propriété à l'utilisateur de ton choix (
chown $USER:$GROUP -R $DossierCommun).Une fois que ça c'est fait, il faut dire à tes distributions de monter la partition sur un point connu à chaque démarrage. Le fichier qui s'occupe de ça est
/etc/fstab. Sa syntaxe est relativement triviale, mais si tu as un doute,man fstabdevrait le dissiper.Puis, pour chaque dossier créé, faire un lien symbolique pour remplacer les dossiers créés automatiquement.
Par exemple, admettons que tu aies monté ta partition partagée dans "/shared", que cette partition contienne les dossiers "Bureau" et "Téléchargement", et que ton nom utilisateur soit "freem":
Comme dit plus haut dans le fil par contre, les droits ne sont pas gérés par le nom de l'utilisateur, mais par des numéros (uid, User IDentifier—et gid pour Group ID, mais pas important pour le moment--). Si l'utilisateur
freemà le même uid sur tous les systèmes, alors il n'y aura aucun problème. Ce sera très probable pour le 1er utilisateur créé sur Debian et Ubuntu, qui font commencer les uid "normaux" à 1000 toutes les deux. Pour mageia, je n'en sais rien, mais bon, ça se modifie. Pour savoir comment:man usermod.J'ai essayé de faire simple et portable (aka: pas dépendant de tes logiciels) mais il existe d'autres façons de faire, plus ou moins automatisées. En fait, moi, un truc pareil j'écrirai un petit programme qui ferait le boulot à ma place mais je ne suis plus tout à fait un débutant ;)