diff --git a/src/bases/commandes-basiques.md b/src/bases/commandes-basiques.md index c0bd6c5..7c31ac4 100644 --- a/src/bases/commandes-basiques.md +++ b/src/bases/commandes-basiques.md @@ -21,6 +21,7 @@ | rmdir | `rmdir path` | Effacement d'un répertoire (il doit être vide) | `rmdir TP3` | | sort | `sort < ... >...` | Tri du flot d'entrée | `cat file1.txt file2.txt \| sort > file3.txt` | | tail | `tail [-n]` | Sélection de la fin d'un fichier (en nombre de lignes) | `tail -1 < table.txt` | +| time | `time command` | Mesure le temps d'utilisation du processeur par la commande | `time ls` | | type | `type command` | Donne le type de la commande (alias, exécutable, etc.) et précise sa nature. | `type ll` | | wc | `wc [fileName]` | Affichage de la taille d'un fichier (nombre de caractères, de mots, de lignes) | `wc -l < file.xml` | | which | `which command` | Renvoie le chemin de la commande qui est exécutée quand on tape son nom dans le shell | `which ls` |