Le disque est plein
Une application n'enregistre plus. L'erreur dit : plus de place. Avant d'acheter plus de disque, l'ingénieur demande ce qui l'occupe, range les vieux fichiers dans une seule archive et les déplace. L'application refonctionne.
À la fin de cette leçon
Remarque
Je peux regrouper des fichiers, vérifier le disque et récupérer un fichier sur le web.
Mots-clés
- Archive : plusieurs fichiers regroupés en un seul.
- Compresser : rendre un fichier plus petit.
- Disque : l'endroit où les fichiers restent quand la machine est éteinte.
- Mémoire : l'endroit où les programmes qui tournent gardent ce qu'ils utilisent.
- Télécharger : copier un fichier du web vers cette machine.
Pour commencer : ce que tu sais déjà
Remarque
Réponds dans ta tête. 1. Quelle commande ramène dans ton dossier personnel ? 2. Qu'est-ce qu'un journal ? 3. Pourquoi deux petits fichiers sont-ils parfois plus longs à envoyer qu'un gros ?
Avant de commencer
Remarque
Appuie sur Démarrer le lab dans la barre en haut de cette leçon. Ce lab est une machine Ubuntu entière, rien que pour toi : elle met un peu plus de temps à démarrer qu'un conteneur. Chaque bouton Exécuter tape sa commande dans le terminal de la machine, l'une après l'autre, dans la même session. Si l'un d'eux dit que la machine démarre encore, attends quelques secondes et appuie de nouveau. Quand la leçon dit Tape ceci, la commande ne se termine pas toute seule ou te pose une question : appuie sur Ouvrir le terminal dans la barre et tape-la toi-même.
Regrouper et dégrouper
Une archive regroupe des fichiers en un seul. unzip ouvre un zip. gzip compresse un fichier et le renomme avec .gz, et gunzip annule cela. tar -czf regroupe un dossier dans un .tar.gz, et tar -tzf liste ce qu'il contient. Pour le défaire, tar -xzf prend le même nom.
cdAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
unzip test.zipAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
cat inside.txtAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
gzip testAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
gunzip test.gzAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
tar -czf projects.tar.gz projectsAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
tar -tzf projects.tar.gzAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
Vérifie
Astuce
Quelle commande regroupe un dossier en un seul fichier, et laquelle liste ce qu'il contient ? Réponse : tar -czf le regroupe, et tar -tzf le liste.
À quel point la machine est-elle pleine ?
df -h montre chaque disque et son remplissage, avec des tailles lisibles (-h). du -sh * montre la taille de chaque élément de ce dossier. free -h montre la mémoire.
df -hAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
du -sh *Affichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
free -hAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
Récupérer sur le web
wget enregistre un fichier d'une adresse web dans le dossier où tu es. curl affiche ce qu'une adresse renvoie, et -s cache la progression. Le lab fait tourner son propre petit serveur web sur localhost:8000, donc cela marche sans internet.
wget http://localhost:8000/report.csvAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
cat report.csvAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
curl -s http://localhost:8000/hello.txtAffichée ici, non exécutée. Créez un compte gratuit pour appuyer sur Exécuter et la saisir dans le terminal de votre propre labo.
Vérification finale
Astuce
Réponds sans regarder en arrière. 1. Que fait -h dans df -h ? 2. Quelle commande enregistre un fichier du web dans ce dossier ? 3. Que fait gzip au nom du fichier ? Réponses : il affiche des tailles lisibles ; wget ; il ajoute .gz.
Pour les enseignants
Astuce
Cette leçon se fait dans un lab de type machine virtuelle : chaque élève a sa propre machine Ubuntu, et un bouton Exécuter tape dans son terminal et montre ce qui s'est affiché. Points clés : 1. zip, gzip et tar regroupent et dégroupent. 2. df, du et free montrent ce qui occupe la machine. 3. wget et curl récupèrent à partir d'une adresse. Erreur fréquente : défaire une archive dans le dossier où l'on est sans regarder avant. Matériel : le lab et un navigateur. Conseil : demandez ce que l'archive va contenir avant de la lister, puis comparez. Le lab n'a pas de vérification et ne note rien ; donnez un travail à rendre de votre choix si vous voulez une note.