diff --git a/src/bases/README.md b/src/bases/README.md index 906afd1..31a7e2c 100644 --- a/src/bases/README.md +++ b/src/bases/README.md @@ -141,7 +141,7 @@ copie le contenu du fichier `fA` pour créer le fichier `fB`. -## Combinaison de fitres en cascade - le pipe +## Combinaison de filtres en cascade - le pipe ![pipe de deux commandes unix](pipe.gif) diff --git a/src/bases/tp.md b/src/bases/tp.md index 39c3f65..880cae4 100644 --- a/src/bases/tp.md +++ b/src/bases/tp.md @@ -3,6 +3,8 @@ L'objectif de cette première session de TP est de préparer votre environnement de travail en même temps que de réviser rapidement quelques notions de base. +Cliquez sur les flèches vers la droite pour déplier les solutions. + ## Préparation de votre environnement de travail - Lancez un terminal sous Bash. diff --git a/src/commandes/README.md b/src/commandes/README.md index 2f24abe..6672f6e 100644 --- a/src/commandes/README.md +++ b/src/commandes/README.md @@ -43,7 +43,9 @@ Cette commande permet de rechercher un fichier ou un groupe de fichiers dans une arborescence unix. La recherche peut porter sur le nom du fichier, son propriétaire ou un groupe d'utilisateurs (ou bien d'autres critères, voir le -man). +man). +Nous verrons les notions de propriétaire et de groupe dans la page suivante: +[Droits](./droits.html). Pour retrouver un fichier par son nom ou par un masque (pattern) de celui-ci à partir du répertoire courant : @@ -57,7 +59,7 @@ ```bash find . -user parmentf -find . -group dilib +find . -group veille ``` Pour afficher la hiérarchie du répertoire courant : diff --git a/src/commandes/droits.md b/src/commandes/droits.md index 3d86451..24a825f 100644 --- a/src/commandes/droits.md +++ b/src/commandes/droits.md @@ -120,7 +120,7 @@ Cette commande permet de changer le groupe attaché à un fichier ou à un répertoire. Par exemple, un fichier `File` est lié au groupe `dps` et il faut le changer -pour le lier au groupe `dilib` (attention, il faut que le *user* appartienne aux +pour le lier au groupe `veille` (attention, il faut que le *user* appartienne aux deux groupes) : ```bash @@ -131,7 +131,7 @@ Cette commande permet de changer le groupe d'appartenance de l'utilisateur. Cela peut être nécessaire pour accéder à des fichiers dont l'emploi est limité à -certains groupes (par ex., `dilib` par rapport à `dps`). +certains groupes (par ex., `veille` par rapport à `dps`). Pour changer de groupe, il faut appartenir aux deux (l'ancien et le nouveau). À partir du moment où cette commande est lancée, les fichiers et répertoires diff --git a/src/shell/scripts.md b/src/shell/scripts.md index 07a0d46..3f73ba4 100644 --- a/src/shell/scripts.md +++ b/src/shell/scripts.md @@ -29,7 +29,7 @@ pour exécuter le fichier. Ce *shebang*, qui est un en-tête, doit se mettre sur la première ligne. -> ⚠️ Il faut être conscient les variables d'environnement peuvent avoir une +> ⚠️ Il faut être conscient que les variables d'environnement peuvent avoir une > influence sur le comportement de certaines commandes (comme `grep` ou `sort`). > Par exemple la variable `LANG` de bash qui, pour un utilisateur français peut > valoir `fr_FR.UTF-8`, influence l'encodage que les programmes s'attendent à