È possibile formattare facilmente i secondi come un tempo leggibile dall'uomo in bash?
Non voglio formattarlo come una data, ma come il numero di giorni / ore / minuti, ecc ...
È possibile formattare facilmente i secondi come un tempo leggibile dall'uomo in bash?
Non voglio formattarlo come una data, ma come il numero di giorni / ore / minuti, ecc ...
Risposte:
Puoi usare qualcosa del genere:
function displaytime {
local T=$1
local D=$((T/60/60/24))
local H=$((T/60/60%24))
local M=$((T/60%60))
local S=$((T%60))
(( $D > 0 )) && printf '%d days ' $D
(( $H > 0 )) && printf '%d hours ' $H
(( $M > 0 )) && printf '%d minutes ' $M
(( $D > 0 || $H > 0 || $M > 0 )) && printf 'and '
printf '%d seconds\n' $S
}
Esempi:
$ displaytime 11617
3 hours 13 minutes and 37 seconds
$ displaytime 42
42 seconds
$ displaytime 666
11 minutes and 6 seconds
Il modo più semplice e pulito è questo rivestimento (qui assumendo GNU date):
Se il numero di secondi è, dire:
seconds=123456789 # as in one of the answers above
eval "echo $(date -ud "@$seconds" +'$((%s/3600/24)) days %H hours %M minutes %S seconds')"
-> output: 1428 days 21 hours 33 minutes 09 seconds
+%Tformato per Ore: minuti: secondi per date +%T "1970-01-01 + ${seconds} seconds"ottenere questo21:33:09
Il merito va a Stéphane Gimenez ma se qualcuno desidera visualizzare i secondi solo se un periodo è inferiore a un minuto, ecco la mia versione modificata che uso (anche con la pluralizzazione fissa):
converts()
{
local t=$1
local d=$((t/60/60/24))
local h=$((t/60/60%24))
local m=$((t/60%60))
local s=$((t%60))
if [[ $d > 0 ]]; then
[[ $d = 1 ]] && echo -n "$d day " || echo -n "$d days "
fi
if [[ $h > 0 ]]; then
[[ $h = 1 ]] && echo -n "$h hour " || echo -n "$h hours "
fi
if [[ $m > 0 ]]; then
[[ $m = 1 ]] && echo -n "$m minute " || echo -n "$m minutes "
fi
if [[ $d = 0 && $h = 0 && $m = 0 ]]; then
[[ $s = 1 ]] && echo -n "$s second" || echo -n "$s seconds"
fi
echo
}
Un esempio alternativo in POSIX:
converts(){
t=$1
d=$((t/60/60/24))
h=$((t/60/60%24))
m=$((t/60%60))
s=$((t%60))
if [ $d -gt 0 ]; then
[ $d = 1 ] && printf "%d day " $d || printf "%d days " $d
fi
if [ $h -gt 0 ]; then
[ $h = 1 ] && printf "%d hour " $h || printf "%d hours " $h
fi
if [ $m -gt 0 ]; then
[ $m = 1 ] && printf "%d minute " $m || printf "%d minutes " $m
fi
if [ $d = 0 ] && [ $h = 0 ] && [ $m = 0 ]; then
[ $s = 1 ] && printf "%d second" $s || printf "%d seconds" $s
fi
printf '\n'
}
convert $sper ottenere un bel risultato.
Lo farei così:
$ seconds=123456789; echo $((seconds/86400))" days "$(date -d "1970-01-01 + $seconds seconds" "+%H hours %M minutes %S seconds")
1428 days 21 hours 33 minutes 09 seconds
$
Ecco quello sopra, suddiviso in modo che sia più facile da capire:
$ seconds=123456789
$ echo $((seconds/86400))" days"\
$(date -d "1970-01-01 + $seconds seconds" "+%H hours %M minutes %S seconds")
In quanto sopra sto facendo eco all'output di un altro comando eseguito all'interno del $( ... )comando secondario. Quel sottocomando lo sta facendo, calcolando il numero di giorni (secondi / 86400), quindi usando il datecomando in un altro sotto-comando $(date -d ... ), per generare ore, minuti e secondi per un dato numero di secondi.
Ho modificato la funzione displaytime sopra ... come segue:
seconds2time ()
{
T=$1
D=$((T/60/60/24))
H=$((T/60/60%24))
M=$((T/60%60))
S=$((T%60))
if [[ ${D} != 0 ]]
then
printf '%d days %02d:%02d:%02d' $D $H $M $S
else
printf '%02d:%02d:%02d' $H $M $S
fi
}
perché voglio sempre vedere HH: MM: SS, anche se sono zeri.
Sto costruendo la risposta di atti che mi è piaciuta come idea.
Puoi farlo con l'integrato bash printfche impiegherà i secondi dall'epoca come argomento. Non c'è bisogno di biforcarsi per correredate .
Devi impostare il fuso orario su UTC printfperché formatta l'ora nel fuso orario locale e otterrai la risposta sbagliata se non sei nell'ora UTC.
$ seconds=123456789
$ TZ=UTC printf "%d days %(%H hours %M minutes %S seconds)T\n" $((seconds/86400)) $seconds
1428 days 21 hours 33 minutes 09 seconds
Nella mia ora locale (che attualmente è NZDT - +1300) la risposta è sbagliata se non imposto il fuso orario
$ seconds=123456789
$ printf "%d days %(%H hours %M minutes %S seconds)T\n" $((seconds/86400)) $seconds
1428 days 09 hours 33 minutes 09 seconds
Con e senza impostare il fuso orario
$ seconds=$(( 3600 * 25))
$ printf "%d days %(%H hours %M minutes %S seconds)T\n" $((seconds/86400)) $seconds
1 days 13 hours 00 minutes 00 seconds
$ TZ=UTC printf "%d days %(%H hours %M minutes %S seconds)T\n" $((seconds/86400)) $seconds
1 days 01 hours 00 minutes 00 seconds
printfintrodotto questa %(datefmt)Tnotazione a partire da bash-4.2-alfa.
Eccone uno
secs=378444
echo $(($secs/86400))d $(($(($secs - $secs/86400*86400))/3600))h:$(($(($secs - $secs/86400*86400))%3600/60))m:$(($(($secs - $secs/86400*86400))%60))s
Produzione:
4d 9h:7m:24s
date --date '@1005454800'ti dà Sun Nov 11 00:00:00 EST 2001, che è 1005454800 secondi dopo l'epoca Unix. Puoi formattarlo con l'opzione data + FORMATO.