1 votes

Déplacer /sys vers une autre partition sans réinstaller

Pour faire court, j'ai deux partitions sur un SSD. La plus grande a Ubuntu 10.04, la petite a 12.04. Au cours des dernières semaines, j'ai enfin commencé à passer de l'utilisation de 10.04 à 12.04 (j'ai tardé à le faire car sur ce portable en particulier, il y avait plusieurs problèmes avec 12.04 mais j'ai maintenant trouvé des solutions pour ceux-ci)

À ce stade, j'ai réussi à faire fonctionner 12.04 comme je le souhaite, mais cela a été laborieux et je préférerais ne pas avoir à le refaire. Cependant, la partition 12.04 est trop petite (il ne reste que environ 500 Mo et je suis sûr de les utiliser à l'avenir si le passé est un guide) J'ai donc déjà déplacé mon répertoire personnel sur la partition 10.04 mais je voudrais aussi déplacer /sys (car il occupe de loin la plus grande place de ce qui reste)

Je sais que /sys est un point de montage, donc je me demande si le simple fait de le lier à un répertoire sur la plus grande partition va fonctionner (du tout ou de manière fiable)? Est-ce que je dois m'inquiéter de l'ordre de montage des disques?

3voto

RN. Points 559

Je voudrais déplacer /sys

Ne vous inquiétez pas

C'est SysFS, un système de fichiers virtuel. Le noyau présente des informations à l'espace utilisateur par celui-ci. Ce n'occupe pas d'espace sur votre disque, ce n'est pas configurable.

Sysfs est un système de fichiers virtuel fourni par Linux. Sysfs exporte des informations sur les périphériques et les pilotes du modèle de périphériques du noyau vers l'espace utilisateur, et est également utilisé pour la configuration.

[...]

sysfs est un système de fichiers en mémoire qui était initialement basé sur ramfs.

[...]

Sysfs est utilisé par plusieurs utilitaires pour accéder aux informations sur le matériel et son pilote (modules du noyau) tels que udev ou HAL. Des scripts ont été écrits pour accéder aux informations précédemment obtenues via procfs, et certains scripts configurent les pilotes de périphériques et les périphériques via leurs attributs.

1voto

tobsco Points 524

Plutôt que de déplacer des répertoires, vous pourriez simplement redimensionner les partitions. Si vous démarrez à partir d'un live CD/USB, il y a un programme appelé GParted. Il est assez facile à utiliser et j'ai redimensionné de nombreuses partitions sans aucun problème.

Un problème que j'ai rencontré lors de la réorganisation plus complexe des partitions est la rupture de GRUB, mais cela peut être résolu en exécutant Boot-Repair.

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X