On 03/10/2015 11:00 AM, Sébastien NOBILI wrote:
Le mardi 10 mars 2015 à 0:12, mrr a écrit :
Comme l'a suggéré yamo, si tu peux pas travailler la taille des partitions
tu peux toujours déplacer certains fichiers/dossiers sur une autre partition
puis créer des liens symboliques.
J'étais partisan également de ce type de pratique (uniquement dans des cas
désespérés, car ça reste très moche, mais entre ça et une machine qui ne
fonctionne plus…) et j'ai changé de stratégie quand j'ai remarqué que ça pouvait
déranger certains outils qui font la distinction entre liens symboliques et
dossiers (Git en est un exemple).
Depuis, je procède par montage « bind », comme ça on conserve la structure du
système de fichiers (un dossier reste un dossier).
Par exemple, pour déplacer /var/cache dans /home :
- sudo mkdir /home/cache/
- sudo mv /var/cache/* /home/cache/
- sudo mount -o bind /home/cache/ /var/cache/
Pour de la persistence, il suffit de mettre la ligne adéquate dans /etc/fstab.
Sébastien
Un bind au lieu d'un lien, c'est vrai, bien vu!
Il y a eu un cas cependant où le coup du lien symbolique m'a sauvé la
mise, je me rappelle pas très bien mais en gros:
J'avais une partition "/home" avec une option "noexec". Et je voulais un
/home/bin où mettre quelques exécutables. Avec un bind, les 2 dossiers
ne peuvent qu'avoir des droits/permissions identiques, alors qu'avec un
raccourci qui renvoyait sur une partition "exécutable", j'avais mes
/home/bin/* exécutables. Enfin, là, je doute un peu de moi!
Mais c'est un peu vieux tout ça et ça se mélange dans ma tête; alors que
se passe t'il quand on bind 2 dossiers qui sont sur des partitions avec
des options de montage différentes? Qui c'est qui gagne? Bon bref, je
divague un peu et je verrai ça demain, bonne nuit!
--
mrr
--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists
Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers [email protected]
En cas de soucis, contactez EN ANGLAIS [email protected]
Archive: https://lists.debian.org/[email protected]
