formatere sekunder til minutter:sekunder

[Arntfinn]

Hvordan får jeg gjort om f.eks 200 (sekunder) til å bli minutter:sekunder?

Endret 10. april 2004 av Arntfinn

[gspr]

Skammer meg over faktisk å svare på et slikt spørsmål, men nå følte jeg bare for det:

#!/bin/bash

sec=$1
min=$(($sec/60))
sec=$(($sec-$min*60))
echo $min:$sec

 

Neste gang: Les litt selv. Kan anbefale denne guiden.

[Arntfinn]

jo takk for svar.

Har den guiden og tittet litt og søkte før jeg spurte

[iDude]

Hvordan får jeg gjort om f.eks 200 (sekunder) til å bli minutter:sekunder?

gnu date kan være greit i slike sammenhenger. Ex:

date -d '2001-01-01 00:00:00 400 seconds' +"%M:%S"
06:40

Gir deg antall minutter og sekunder som tilsvarer 400 sekunder etter datoen spesifisert. På samme måte gir

date -d '2001-01-01 00:00:00  4000 seconds' +"%H %M:%S"
01 06:40

deg antall timer, minutter og sekunder som tilsvarer 4000 sekunder etter datoen som er spesifisert.

 

Om man har lengre tidsintervaller må man selvsagt passe på (om man spesifiserer 86400 sekunder går man inn i en ny dag og siste date-kommandoen over gir "0 00:00". Ellers er det mange perl-moduler som er ypperlige for å manipulere datoer (Feks Date::Manip).