Muchas veces en un script necesitamos convertir una cantidad de segundos a un formato más habitual para los humanos por ejemplo HH:MM:SS (horas:minutos:segundos) para presentar en pantalla o en un email, así que aquí tenemos una sencilla forma de hacerlo usando AWK:

echo - | awk -v "S=SEGUNDOS" '{printf "%02d:%02d:%02d",S/(60*60),S%(60*60)/60,S%60}'

Debemos sustiruir SEGUNDOS por el número de segundos a convertir, por ejemplo, para convertir 73180 segundos:

$ echo - | awk -v "S=73180" '{printf "%02d:%02d:%02d",S/(60*60),S%(60*60)/60,S%60}'

20:19:40

Evidentemente podemos cambiar el formato de printf para acomodar la salida a nuestras necesidades.

Articulos similares:

• Bash: convertir un PDF a JPG (3 abril 2009)
• Mandar email desde Bash con formato HTML (13 enero 2009)
• Manejo de iconos (26 junio 2008)
• Convertir imágenes ISO a DMG o viceversa (2 marzo 2009)
• Descifrar contraseñas Cisco de nivel 7 (11 febrero 2009)

Archiva este artículo