Cours 12 - Gestion des fichiers

Objectifs

• Connaître les commandes Shell de gestion de fichiers
• Comprendre le fonctionnement des fichiers et des permissions sous Linux
• Bien utiliser les différents outils de gestion de fichiers sous Linux

Déroulement

1. Introduction
2. Atelier sur les commandes
   1. Commandes générales
   2. Commandes de gestion des permissions
3. Exercice 12
4. Présentation Systèmes de gestion des fichiers
5. Conclusion

Atelier sur les commandes

Cheat sheet Commandes Linux

• Linux-Commands-Cheat-Sheet.pdf
• 101 commandes indispensables sous linux

Astuce: pour connaître ce que fait une commande, faites:
help [nom de la commande] ou [nom de la commande] --help
Exemple: help pwd ou pwd --help

Vidéo de démonstration - Atelier sur les commandes

Écoutez et faites les commandes de cette vidéo (30 min):

Commandes générales

1. pwd
2. ls et ls -l
3. cd / , cd ~ , cd .. , cd nomdudossier
4. mkdir
5. ls > log.txt et ls >> log.txt
6. cat log.txt
7. echo "Hello World"
8. mv
9. cp
10. rm, rmdir et rm -r
11. clear
12. touch
13. top (pour sortir de top faites CTRL+C)
14. man nomdecommande
15. history et !## (essayez les flèches haut et bas)
16. ps -ef et ps -u
17. kill et killall
18. reboot, halt et shutdown (ne faites pas les commandes :P )
19. ifconfig
20. exit

Vidéo de démonstration - Commandes de gestion des permissions

Écoutez cette vidéo (15 min):

Commandes de gestion des permissions

• Droits, groupes et utilisateurs
• Gérer les droits d'accès
• Understanding Linux File Permissions

sudo commands

• exécuter une commande en tant que root.
  

chmod options permissions filename

• changer les droits sur un fichier un ou dossier (option -R pour la récursivité dans tous les fichier et sous-dossier du dossier sur lequel on l'applique).
• Exemple:
  • chmod u=rwx,g=rx,o=r filename
  • chmod 754 filename (truc de prof : UGO)
    4 "read",
    2 "write",
    1 "execute"
    0 "no permission"
    • => donc 7 veut dire 4+2+1 pour l'usager propriétaire
    • => donc 5 veut dire 4+1 pour le groupe propriétaires
    • => donc 4 veut dire 4 pour les autres (others)

chown myuser filename

• change le propriétaire d'un fichier/dossier (ne peut s'utiliser qu'en root) option -R pour la récursivité.

adduser myuser

• ajouter un utilisateur.

passwd myuser

• changer le mot de passe d'un user | ex : passwd roger.

deluser myuser

• supprimer un user (option --remove-home pour supprimer tous ses fichiers).

usermod options mod myuser

• modifie un utilisateur (options :
• -l pour changer le nom
• -g pour lui assigner un groupe
• -G pour lui assigner plusieurs groupes (séparés par des virgules)
• -a en complément de -g ou -G, ajouter des nouveaux groupes au lieu de tout redéfinir)ex, ajouter le groupe video à l'utilisateur myuser, sans supprimer les groupes auxquels il appartenait avant : usermod -aG video myuser

addgroup mygroup

• créer un groupe.

delgroup mygroup

• supprimer un groupe.

groups myuser

• vérifie dans quels groupes est un utilisateur.

chgrp

• change le groupe propriétaire d'un fichier (équivalent à chown user:group).

Exercice 12

Quand tout le reste est fait, faire cet exercice:
Exercice 12

Présentation Systèmes de gestion des fichiers