Re: /var plein à raz bord

[mrr <mireero@free.fr>]

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