Quelle est la performance d'une commande ? La commande /usr/bin/time mise devant une commande à évaluer exécute la commande et retourne sur la sortie erreur le temps pris par la commande.

Donner la commande pour évaluer la commande rev du fichier lipsum.txt et enregistrer ses performances dans le fichier log.txt. La commande rev affiche en ordre inversé les lignes du fichier donné en argument. Le résultat de la commande ne nous intéresse pas. Nous ne voulons donc pas conserver ou voir le résultat. Le fichier log.txt est destiné à enregistrer le temps pris par chaque commande évaluer. A ce titre, le fichier log.txt est complété. Pour faciliter sa lecture, après chaque exécution de la commande time, une ligne de 5 tirets est ajoutée dans le fichier. Le contenu du fichier log.txt pour 2 invocations de la commande time donne ceci : Nom : dv.png Affichages : 148 Taille : 11,0 Ko
Voici ce que j'ai écrit comme commande :
Code : Sélectionner tout - Visualiser dans une fenêtre à part
 /usr/bin/time rev lipsum.txt > /dev/nul > log.txt
.
Mais j'ai cette erreur
Code : Sélectionner tout - Visualiser dans une fenêtre à part
-bash: /dev/nul: Permission denied
. Est ce que l'erreur se trouve au niveau de la redirection (>) vers log.txt ? Dois-je mettre 2>> ou 2> ? Merci.