Ubuntu-fr

nouma

PB avec commande time pour savoir le temps d'execution d'un script

Bonjour,
Je n'arrive pas à utiliser la commande time avec le format %e
j'ai essayé time -f %e, time -f '%e', time --format=%e time --format ='%e'

bash: -f: command not found
bash: --format: command not found

rien ne marche...comment faire?
merci

toto4455

Re : PB avec commande time pour savoir le temps d'execution d'un script

le probleme c'est que tu utilise time (la commande builtin du shell) et non /usr/bin/time (chemin donne par which time)

tu pourras fixer le format si tu utilise /usr/bin/time (man time) et non time du shell (help time).

roynux

Re : PB avec commande time pour savoir le temps d'execution d'un script

C'est "date" et pas "time" que tu dois exécuter.

time donne la durée d'exécution (système) d'une command que tu lui passes en paramètres.

date affiche (avec le format désiré) et permet de modifier la date t l'heure du système.

toto4455

Re : PB avec commande time pour savoir le temps d'execution d'un script

@ roynux
ben d'apres le titre c'est le tps d'excution de son script , donc time .

PB avec commande time pour savoir le temps d'execution d'un script

nouma

Re : PB avec commande time pour savoir le temps d'execution d'un script

ok donc j'ai installé puis j'ai essayé:
/usr/bin/time --format=%e
/usr/bin/time --format='%e'
/usr/bin/time -f %e
/usr/bin/time -f%e
/usr/bin/time -f '%e'

/usr/bin/time --format=%%e
/usr/bin/time --format='%%e'
/usr/bin/time -f %%e
/usr/bin/time -f%%e
/usr/bin/time -f '%%e'

Tous me renvoie:
Usage: /usr/bin/time [-apvV] [-f format] [-o file] [--append] [--verbose]
       [--portability] [--format=format] [--output=file] [--version]
       [--help] command [arg...]

Surtout hésitez pas à me donner la commande directement

nouma

Re : PB avec commande time pour savoir le temps d'execution d'un script

oups autant pour moi;
/usr/bin/time -f%E ./script.sh

marche bien

merci à vous 2

nouma

Re : PB avec commande time pour savoir le temps d'execution d'un script

autre petit question, je debute en shell

#!/bin/sh
var=time -f%E ma_comande_unix
echo "script effectué en ${var}"

line 2: -f%E: command not found
ça ne marche pas vous avez une idée?

huit_six

Re : PB avec commande time pour savoir le temps d'execution d'un script

Il faut ajouter des guillemets (ou apostrophes) autour de la valeur que tu affectes à car, en clair:

var='time -f%E ma_commande_unix'

Par contre j'ai un doute quand au résultat que tu vas obtenir, ça risque d'être:
script effectué en time -f%E ma_commande_unix

moi je ferai plutot un truc du genre:

echo "script effectué en $(time -f%E ma_commande_unix)"

$( ) est remplacé par le résultat de la commande qu'il encadre

Dernière modification par huit_six (Le 25/05/2007, à 13:15)

---

Flip, mon premier jeu pour android

nouma

Re : PB avec commande time pour savoir le temps d'execution d'un script

sauf que ça n'execute pas ma_commande_unix
ça considère comme un string non comme des commandes à executer...

nouma

Re : PB avec commande time pour savoir le temps d'execution d'un script

prend par exemple
var=$(time -f%E find ~ -name '*.txt')
ça me fait:
-f%E: command not found

nouma

Re : PB avec commande time pour savoir le temps d'execution d'un script

personne?

toto4455

Re : PB avec commande time pour savoir le temps d'execution d'un script

un truc du style ?

var=$(/usr/bin/time -o test.var -f%E find ~ -name '*.txt')
var=`cat test.var`
rm test.var
echo "script effectué en $var"

nouma

Re : PB avec commande time pour savoir le temps d'execution d'un script

c'est bizare de stocker le temps mis dans un fichier plutôt que dans une variable...
J'aurais aimer que ça m'affiche le resultat de la commande tant qu'à faire.
De mon côté j'ai trouvé:

/usr/bin/time -f%E sh -c 'find ~ -name "*.*"'

dommage qu'on ne peut pas le formater comme on veut genre:

echo "script effectué en $var"