Aller au contenu

126 Mo de libre dans /dev/


Recommended Posts

En faisant un :

adb shell df

j'ai vu que le répertoire /dev/ était vide.

il sert à quoi ce répertoire ?

ne peut-on pas s'en servir ?

je déconseil de le modifier car si il y a des fichier cacher dedant tu risque de tous planté

Lien vers le commentaire
Partager sur d’autres sites

/dev sur les système Linux est un répertoire contenant toutes les devices du système (périphériques). Chaque fichier présent à l'intérieur représente un composant matériel (mémoires, cartes SD, écrans, haut-parleurs, vibreur...).

Ok donc si on le supprime on est dans la....

Lien vers le commentaire
Partager sur d’autres sites

Tu ne pourrais de toute façon pas le supprimer. C'est un dossier "virtuel" qui contient des "fichiers" représentant des périphériques (la logique Linux -> "tout est fichier"), donc indispensable au fonctionnement du système. Mais ce ne sont même pas des fichiers à proprement parler, et la notion d'espace libre/occupé sur ce genre de dossier ne veut de toute façon pas dire grand chose.

Sur mon laptop Ubuntu, un df renvoie :

Sys. de fich.           1K-blocs       Occupé Disponible Capacité Monté sur
/dev/sda1              9611492   5525016   3598236  61% /
none                    894576       264    894312   1% /dev
none                    900296      4920    895376   1% /dev/shm
none                    900296       240    900056   1% /var/run
none                    900296         0    900296   0% /var/lock
/dev/sda6            103845112  95894560   2675520  98% /home

Mais comme on peut le voir, le système de fichiers monté sur /dev ne correspond à aucune mémoire physique. L'espace présenté comme étant libre ou occupé est là juste pour compatibilité avec le reste du système je pense (dans l'optique du "tout est fichier").

Lien vers le commentaire
Partager sur d’autres sites

Archivé

Ce sujet est désormais archivé et ne peut plus recevoir de nouvelles réponses.

×
×
  • Créer...