Version imprimable
Bonjour,
J'aimerais que lorsque je crée un fichier avec un script Bash, ce dernier génère aussi un fichier log avec les détails de la sauvegarde : j'arrive à obtenir la date, l'heure & la taille totale du fichier que le répertoire où il se situe mais j'aimerais aussi obtenir la durée de la création du fichier, c'est-à-dire combien de temps il a mis à être créé. Ce n'est si cela est possible et si oui comment faire.
Merci d'avance pour vos réponses.
Bonjour :coucou:
Pour créer un fichier, je fais ceci:
Et pour chronométrer l'exécution d'une commande :Code:>mon_fichier.txt
Donc pour chronométrer la création d'un fichier :Code:time ./ma_commande.bash
On vérifie bien que la création du fichier toto.pouet est instantanée.Code:
2
3
4
5
Je vois, merci.
Et si par exemple je souhaiterais générer un fichier .log contenant ce que m'affiche la commande time, comment faire ?
"time" est un mot clé de bash. Il fait partie de la conduite. Le résultat est sur le canal d'erreur. Mais si tu fais la moindre redirection, la redirection s'appliquera à la commande de la conduite et non "time". Pour éviter cela, il suffit de faire un regroupement de commandes.
Attention :Code:{ time > toto.pouet;} 2> toto.pouet.log
- L'espace après la première accolade n'est pas optionnelle. { est un mot clé en bash.
- Le point-virgule avant } n'est pas optionnel non plus.
Code:
2
3
4
5$ cat toto.pouet.log real 0m0,000s user 0m0,000s sys 0m0,000s
Et pour en savoir plus sur les descripteurs de fichier :
« Un processus Unix (NDLR pour Linux également) possède par défaut trois voies d’interaction avec l’extérieur appelées entrées / sorties standard identifiées par un entier positif ou nul appelé descripteur de fichier.
Ces entrées / sorties standard sont :
une entrée standard , de descripteur 0
une sortie standard , de descripteur 1
une sortie standard pour les messages d’erreurs, de descripteur 2.
(.../...) »
Source:
:fleche: Introduction à la programmation en Bash - V. Redirections élémentaires V-1. Descripteurs de fichiers