Visualizzazione dei secondi come giorni / ore / minuti / secondi?


31

È 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 ...


Potresti fornire un esempio / più esempi per favore?
gabe.

1
Stai dicendo che hai un intervallo o una data dall'epoca?
Paul Tomblin,

Risposte:


41

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

11

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


Se la durata sarà sempre inferiore a un giorno, puoi utilizzare il +%Tformato per Ore: minuti: secondi per date +%T "1970-01-01 + ${seconds} seconds"ottenere questo21:33:09
Yzmir Ramirez

7

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'
}

Questo ha funzionato davvero bene. Ho semplicemente incollato la funzione nella mia sceneggiatura e ho corso convert $sper ottenere un bel risultato.
flickerfly,

3

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.


2

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.


1

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

Nota che bash ha printfintrodotto questa %(datefmt)Tnotazione a partire da bash-4.2-alfa.
vescovo

-1

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

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.