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 :
Voici ce que j'ai écrit comme commande :
/usr/bin/time rev lipsum.txt > /dev/nul > log.txt
.
Mais j'ai cette erreur
-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.
Partager