Sur la plupart des installations Linux non embarquées et de nombreuses installations embarquées, /dev
est sur un système de fichiers sauvegardé en RAM, pas sur la partition racine. La plupart des installations actuelles ont /dev
en tant que système de fichiers tmpfs, le démon udev créant des entrées lorsqu'il est averti par le noyau que du matériel est disponible. Les noyaux récents offrent la possibilité d'avoir /dev
monté en tant que système de fichiers devtmpfs, qui est directement rempli par le noyau.
Je pense qu'Ubuntu 12.10 utilise toujours udev. Quoi qu'il en soit, /dev
ne doit pas être sur la partition racine (comme indiqué par la sortie de df /dev
), il doit être sur son propre système de fichiers. Avez-vous accidentellement démonté /dev
?
La première chose que vous devriez essayer est de redémarrer :cela devrait monter /dev
correctement. Avant cela, vérifiez que vous n'avez pas ajouté d'entrée pour /dev
en /etc/fstab
(il ne devrait pas y avoir de ligne avec /dev
dans la deuxième colonne).
Même avec /dev
sur la partition racine, vous pouvez créer /dev/sdb
en courant
cd /dev
sudo MAKEDEV sdb
Mais ne pas avoir /dev
géré dynamiquement n'est pas une configuration stable, vous rencontrerez des problèmes similaires pour de nombreux autres matériels.