Ubuntu-fr

Nairwolf

Espace disque, où sont mes 32 Go ?

Bonjour,

Je suis l'heureux possesseur d'un ODROID-C1, dont j'ai accès par SSH (à distance donc). J'ai ajouté à cet ODROID une carte sd de 32 Go dans lequel j'ai installé leur .iso personnalisé adapté à ce matériel.

Seulement voilà, je viens de me rendre compte aujourd'hui (lors d'un téléchargement d'un torrent) que je n'avais plus d'espace mémoire...

Effectivement, après avoir supprimé quelques gros fichiers voici ce que j'obtiens :

odroid@odroid:/$ df -h
Sys. de fichiers Taille Utilisé Dispo Uti% Monté sur
/dev/mmcblk0p2     7.7G    4.6G  2.9G  62% /
none               4.0K       0  4.0K   0% /sys/fs/cgroup
udev               419M    4.0K  419M   1% /dev
tmpfs              424M    4.0K  424M   1% /tmp
tmpfs               85M    2.7M   83M   4% /run
none               5.0M       0  5.0M   0% /run/lock
none               424M     76K  424M   1% /run/shm
none               100M     28K  100M   1% /run/user
/dev/mmcblk0p1     129M    7.3M  122M   6% /media/boot

Vous allez me dire que c'est bon, j'ai encore 4.6G disponible dans le /. C'est vrai, mais ça, uniquement parce que j'ai supprimé des gros fichiers sur mon /home.

Je cherche donc à savoir ce qui prends tant de place dans la partition / :

odroid@odroid:/$ sudo du -shc *
4.9M	bin
38M	boot
4.0K	dev
14M	etc
622M	home
360M	lib
4.0K	lost+found
7.4M	media
4.0K	mnt
du: impossible d'accéder à «proc/16996/task/16996/fd/4»: Aucun fichier ou dossier de ce type
du: impossible d'accéder à «proc/16996/task/16996/fdinfo/4»: Aucun fichier ou dossier de ce type
du: impossible d'accéder à «proc/16996/fd/4»: Aucun fichier ou dossier de ce type
du: impossible d'accéder à «proc/16996/fdinfo/4»: Aucun fichier ou dossier de ce type
0	proc
104K	root
du: impossible d'accéder à «run/user/1001/gvfs»: Permission non accordée
2.8M	run
6.5M	sbin
0	sys
4.0K	tmp
2.9G	usr
616M	var
4.6G	total

On voit que /var est faible, donc pas de log qui grandit de manière exponentielle. Pas de /home gigantesque. Seul un /usr est de l'ordre du Gigaoctet.  C'est là où se situe les logiciels, non ? Cela me semble acceptable comme taille.

Non, en fait, la vraie interrogation, c'est : pourquoi je ne semble avoir que 7.7 Go disponible sur ma machine ? (Malgré mes 32 Go ajouté en sd).

Je regarde le partitionnement de ma machine :

odroid@odroid:/$ sudo parted -l
Modèle: SD SE32G (sd/mmc)
Disque /dev/mmcblk0 : 31.9GB
Taille des secteurs (logiques/physiques): 512B/512B
Table de partitions : msdos

Numéro  Début   Fin     Taille  Type     Système de fichiers  Fanions
 1      1573kB  136MB   135MB   primary  fat16
 2      136MB   8653MB  8517MB  primary  ext4

Bizarre, non ? Le disque /dev/mmcblk0 fait bien 32GB.

Où se trouve l'espace mémoire manquant ?

Merci de votre coopération.

Rufus T. Firefly

Re : Espace disque, où sont mes 32 Go ?

Salut,

De l'espace libre non partitionné ? Ça ne va pas, ça, comme dirait M. Occam toujours au fil  du rasoir ?

Dernière modification par Rufus T. Firefly (Le 31/05/2015, à 23:02)

---

La provocation est une façon de remettre la réalité sur ses pieds. (Bertolt Brecht)
Il n'y a pas de route royale pour la science et ceux-là seulement ont chance d'arriver à ses sommets lumineux qui ne craignent pas de se fatiguer à gravir ses sentiers escarpés. (Karl Marx)
Il est devenu plus facile de penser la fin du monde que la fin du capitalisme

Nairwolf

Re : Espace disque, où sont mes 32 Go ?

Ah, mais que suis-je bête !!
C'est sans doute la fatigue ^^ Oui, pourquoi je n'ai pas pensé à regarder la taille des partitions ?

Bon, le meilleur outil pour partitionner en ligne de commande, c'est fdisk, c'est cela ?

Rufus T. Firefly

Re : Espace disque, où sont mes 32 Go ?

Parted, non ? Il me semble que c'est ce qu'utilise gparted...
Mais je crois que ce n'est pas très important. Il vaut mieux que tu prennes celui que tu connais le mieux.

Dernière modification par Rufus T. Firefly (Le 01/06/2015, à 01:21)

---

La provocation est une façon de remettre la réalité sur ses pieds. (Bertolt Brecht)
Il n'y a pas de route royale pour la science et ceux-là seulement ont chance d'arriver à ses sommets lumineux qui ne craignent pas de se fatiguer à gravir ses sentiers escarpés. (Karl Marx)
Il est devenu plus facile de penser la fin du monde que la fin du capitalisme

MicP

Re : Espace disque, où sont mes 32 Go ?

…c'est bon, j'ai encore 4.6G disponible dans le /.…

Non. En fait, le retour de la commande df -h indique qu'il te reste encore 2.9G disponible, la valeur 4.6G est l'espace Utilisé. Mais il ne s'agit certainement que d'une une simple petite erreur de lecture

==============
==============

man resize2fs

=======

…
Sys. de fichiers       Taille    Utilisé  Dispo  Uti%   Monté sur
/dev/mmcblk0p2     7.7G    4.6G     2.9G     62%   /
…

=>

odroid@odroid:/$ sudo resize2fs /dev/mmcblk0p2 20G

=> La "Taille" du système de fichiers de /dev/mmcblk0p2 passera de 7.7G à 20G

=======
Ou bien :

odroid@odroid:/$ sudo resize2fs /dev/mmcblk0p2 

=> La "Taille" du système de fichiers de /dev/mmcblk0p2 passera de 7.7G à la taille maximum => en fonction de l'espace disponible sur le disque

=>  dans ton cas /dev/mmcblk0p2 aura finalement une taille d'environ 30G

Dernière modification par MicP (Le 01/06/2015, à 13:02)

tiramiseb

Re : Espace disque, où sont mes 32 Go ?

ATTENTION ! Le resize2fs proposé par MicP n'est à exécuter qu'APRÈS avoir redimensionné la partition.

Par ailleurs, je préfère la seconde forme, où on ne donne pas la taille cible : le filesystem s'agrandira au max.

---

Sébastien Maccagnoni - https://www.maccagnoni.eu - https://www.domotego.com

MicP

Re : Espace disque, où sont mes 32 Go ?

Merci tiramiseb : Je suis un peu distrait en ce moment, heureusement qu'on est plusieurs.

======
@Nairwolf : Étant donné que la table des partitions est au format msdos fdisk conviendra tout-à-fait (et les autres aussi)

======
NOTE perso : Si je préfère utiliser gparted, c'est qu'il fait bien plus qu'agrandir une partition comme le ferait fdisk.

Voilà ce qu'il vient de faire après que je lui ai demandé d'agrandir une partition et son système de fichiers :

GParted 0.19.0 --enable-libparted-dmraid --enable-online-resize

Libparted 3.2
Agrandir /dev/sdc2 de 2.31 Gio à 2.73 Gio  00:00:08    ( SUCCÈS )
     	
calibrer /dev/sdc2  00:00:00    ( SUCCÈS )
     	
chemin : /dev/sdc2
début : 2104515
fin : 6938623
taille : 4834109 (2.31 Gio)
vérifier le système de fichiers sur /dev/sdc2 et corriger les problèmes (si possible)  00:00:02    ( SUCCÈS )
     	
e2fsck -f -y -v -C 0 /dev/sdc2
     	
Passe 1 : vérification des i-noeuds, des blocs et des tailles
Passe 2 : vérification de la structure des répertoires
Passe 3 : vérification de la connectivité des répertoires
Passe 4 : vérification des compteurs de référence
Passe 5 : vérification de l'information du sommaire de groupe

30658 i-noeuds utilisés (19.81%, sur 154736)
22 fichiers non contigus (0.1%)
44 répertoires non contigus (0.1%)
nombre d'i-noeuds avec des blocs ind/dind/tind : 0/0/0
Histogramme des profondeurs d'extents : 26679/6
236437 blocs utilisés (39.13%, sur 604263)
0 bloc défectueux
1 fichier de grande taille

23889 fichiers normaux
2614 répertoires
12 fichiers de périphérique en mode caractère
25 fichiers de périphérique en mode bloc
1 fifo
14 liens
4108 liens symboliques (3927 liens symboliques rapides)
0 socket
------------
30663 fichiers
e2fsck 1.42.12 (29-Aug-2014)
agrandir la partition de 2.31 Gio à 2.73 Gio  00:00:02    ( SUCCÈS )
     	
ancien début : 2104515
ancienne fin : 6938623
ancienne taille : 4834109 (2.31 Gio)
nouveau début : 2104515
nouvelle fin : 7831551
nouvelle taille : 5727037 (2.73 Gio)
vérifier le système de fichiers sur /dev/sdc2 et corriger les problèmes (si possible)  00:00:02    ( SUCCÈS )
     	
e2fsck -f -y -v -C 0 /dev/sdc2
     	
Passe 1 : vérification des i-noeuds, des blocs et des tailles
Passe 2 : vérification de la structure des répertoires
Passe 3 : vérification de la connectivité des répertoires
Passe 4 : vérification des compteurs de référence
Passe 5 : vérification de l'information du sommaire de groupe

30658 i-noeuds utilisés (19.81%, sur 154736)
22 fichiers non contigus (0.1%)
44 répertoires non contigus (0.1%)
nombre d'i-noeuds avec des blocs ind/dind/tind : 0/0/0
Histogramme des profondeurs d'extents : 26679/6
236437 blocs utilisés (39.13%, sur 604263)
0 bloc défectueux
1 fichier de grande taille

23889 fichiers normaux
2614 répertoires
12 fichiers de périphérique en mode caractère
25 fichiers de périphérique en mode bloc
1 fifo
14 liens
4108 liens symboliques (3927 liens symboliques rapides)
0 socket
------------
30663 fichiers
e2fsck 1.42.12 (29-Aug-2014)
agrandir le système de fichiers pour remplir la partition  00:00:02    ( SUCCÈS )
     	
resize2fs -p /dev/sdc2
     	
En train de redimensionner le système de fichiers sur /dev/sdc2 à 715879 (4k) blocs.
Le système de fichiers sur /dev/sdc2 a maintenant une taille de 715879 blocs (4k).

resize2fs 1.42.12 (29-Aug-2014)

Bien sûr, on peut très bien faire tout ça en lignes de commandes.

Dernière modification par MicP (Le 02/06/2015, à 14:32)

tiramiseb

Re : Espace disque, où sont mes 32 Go ?

Bien sûr, on peut très bien faire tout ça en lignes de commandes.

En utilisant parted au lieu de gparted par exemple

---

Sébastien Maccagnoni - https://www.maccagnoni.eu - https://www.domotego.com

Nairwolf

Re : Espace disque, où sont mes 32 Go ?

Bonjour, et merci pour vos réponses.

En fait, avant que vous m'indiquez comment faire avec fdisk ou resize2fs, j'avais déjà fait mes propres manips. Bon, je ne partais pas totalement dans l'inconnu car j'avais déjà fait du partitionnement en ligne de commande sur des tables au format gpt. J'avais pour cela utilisé cgdisk qui est semi-graphique.

Là, pour mon ODROID, j'ai donc utilisé cfdisk. Malheureusement, suite à un souci, j'ai perdu l'accès SSH à cette machine... Mais, je vais vous expliquer ce que j'ai fait.

-Création d'une nouvelle partition avec cfdisk. J'ai choisi l'espace non alloué, et j'ai crée une nouvelle partition de type ext4 (Linux).
J'ai ensuite choisi d'écrire sur le disque cette partition.

Ensuite, je voulais monter cette partition sur /home/odroid/data
J'ai donc utilisé la commande suivante :

mkdir /home/odroid/data
sudo mount /dev/sda3 /home/odroid/data

Néanmoins, je ne voyais toujours pas de partition /dev/sda3
Et là, j'ai fait l'erreur la plus bête sans doute. J'ai tapé ceci dans mon terminal SSH

sudo reboot

Ma machine SSH m'a bien affirmé qu'elle allait s'éteindre. Mais, ensuite, j'ai perdu la connexion à cette machine, et bien que sachant qu'elle a rebooté (j'ai des proches qui ont un accès physique à cette machine), je ne peux plus l'atteindre via SSH. J'en viens donc aux conclusions suivantes :

-Soit j'ai cassé le système et il ne peut plus booter correctement -> Il faudra prendre agir physiquement sur la machine
-Soit après le reboot, le serveur SSH n'a pas redémarré et du coup, il m'est impossible de m'y connecter (bizarre car j'ai déjà fait des reboots pour les mises à jour, et j'arrivais toujours à reprendre la main dessus) -> Agir physiquement sur la machine
-Soit, c'est un vieux problème que je rencontrais avec cette machine et qui semble être revenu, alors même que je pensais avoir réglé le souci (voir ce sujet) -> Jeter à la poubelle la machine

En gros, ma question c'est, pensez-vous que mes manips que j'ai faite aient pu avoir une quelconque influence sur la connexion SSH ? Est-ce possible que la machine ne puisse pas démarrer correctement ? J'ai peut-être mal crée la partition supplémentaire, mais je ne vois pas comment j'aurai pu casser les partitions déjà existantes...