durata esecuzione di un processo bash
Inviato: lun 15 dic 2008, 15:10
Come da titolo: c'è un modo semplice per calcolare la durata di un processo bash? o devo per forza fare la differenza tra start e end di date?
Codice: Seleziona tutto
# time comando.sh > durata.logCodice: Seleziona tutto
`time` comando.sh > durata.logCodice: Seleziona tutto
man 1 timeNo. Tutto ciò che compare dopo comando.sh riguarda solo comando.sh (sono i suoi argomenti), quindi conlennynero ha scritto:cioè dovrei dare?Codice: Seleziona tutto
# time comando.sh > durata.log
e se volessi farlo in uno script potrei dare:?Codice: Seleziona tutto
`time` comando.sh > durata.log
mi sa che ho già provato comunque ora ricontrollo
p.s. so che c'è una differenza tra il comando time e il comando bash time....
Codice: Seleziona tutto
# time comando.sh > durata.logCodice: Seleziona tutto
time -o durata.log comando.sh &>/dev/nullDa quel che ho visto nella man page di bash, la built-in si chiama times, non time.Mario Vanoni ha scritto:man time
si riferisce a /usr/bin/time
con
time cmd
si usa il built-in della bash
man bash
time date414N ha scritto:Da quel che ho visto nella man page di bash, la built-in si chiama times, non time.Mario Vanoni ha scritto:man time
si riferisce a /usr/bin/time
con
time cmd
si usa il built-in della bash
man bash
Ops, come non detto.Mario Vanoni ha scritto: time date
times date
/usr/bin/time date
man bash
If the time reserved word ...
lennynero ha scritto:grazie 414N, ora mi volevo complicare un pò al vita: si potrebbe usare in qualche modo time in uno script A per calcolare la durata di A...?
Codice: Seleziona tutto
time sh script_ACodice: Seleziona tutto
type timeOfftopic: rock@localhost:~$ type timespina ha scritto:lennynero ha scritto:grazie 414N, ora mi volevo complicare un pò al vita: si potrebbe usare in qualche modo time in uno script A per calcolare la durata di A...?non capisco il perchè di questa domanda.Codice: Seleziona tutto
time sh script_A
Spina
Offtopic: P.S. ora non sono su linux ma dal man di bash che ho trovato in internet sembrerebbe anche a me che la bash non abbia un comando interno chiamato 'time', se avete linux a portata di mano potreste postare l'output di? Tanto per verificare.[/offtopic]Codice: Seleziona tutto
type time
Codice: Seleziona tutto
type time
time is a shell keyword
Codice: Seleziona tutto
RESERVED WORDS
Reserved words are words that have a special meaning to the shell. The
following words are recognized as reserved when unquoted and either the
first word of a simple command (see SHELL GRAMMAR below) or the third word
of a case or for command:
! case do done elif else esac fi for function if in select then until
while { } time [[ ]]
Supponiamo che io voglia fare uno script che fa delle cose e voglio che alla fine mi dica anche quanto ci ha impiegato senza doverlo lanciare con il comandospina ha scritto:non capisco il perchè di questa domanda.lennynero ha scritto:grazie 414N, ora mi volevo complicare un pò al vita: si potrebbe usare in qualche modo time in uno script A per calcolare la durata di A...?
Codice: Seleziona tutto
/usr/bin/time -o file script.sh paramsDelega questo compito ad uno scriptlennynero ha scritto:Supponiamo che io voglia fare uno script che fa delle cose e voglio che alla fine mi dica anche quanto ci ha impiegato senza doverlo lanciare con il comandospina ha scritto:non capisco il perchè di questa domanda.lennynero ha scritto:grazie 414N, ora mi volevo complicare un pò al vita: si potrebbe usare in qualche modo time in uno script A per calcolare la durata di A...?Sono troppo pigro?Codice: Seleziona tutto
/usr/bin/time -o file script.sh params
Codice: Seleziona tutto
#!/bin/bash
# $1 = comando da eseguire
# $2 = eventuali parametri
if ! [ -e "$1" ]
then
echo "File $1 inesistente."
exit 1
fi
/usr/bin/time -o "$1-time.log" "$1" $2