partition /usr pleine

[Pierre Meurisse <pierre.meurisse@laposte.net>]

Bonjour,
je me suis aperçu que la partition /usr du serveur du lycée était
utilisée à 100%.
Je me propose de transférer l'un des deux gros répertoires, /usr/share
ou /usr/lib sur la partition /xhome du second dd, et de placer un lien
symbolique pour raccorder.

# mkdir /xhome/usr
# mkdir /xhome/usr/lib

# rsync -auv /usr/lib /xhome/usr/lib
# mv /usr/lib /usr/xxlib            pour ne pas tout démolir tout de
                                    suite
# ln -s /xhome/usr/lib /usr/lib

et ensuite effacement de /usr/xxlib si tout va bien.

Mon problème est le suivant :
- cela va-t-il bien fonctionner ?
- apt-get va-t-il s'y retrouver lors des installations ultérieures ?

D'autre part, y a-t-il une raison de choisir plutôt /usr/share ou
/usr/lib ?

Je suis en woody.

Merci d'avance.
-- 
Pierre Meurisse