Para convertir segundos (por ejemplo timestamp) a un formato tipo HH:MM:SS (horas:minutos:segundos) tenemos varias formas de hacerlo:

• usando AWK:

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

  Debemos sustituir 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

• usando DATE:

  date -d '1970-01-01 SEGUNDOS sec' +"%H:%M:%S"

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

  date -d '1970-01-01 73180 sec' +"%H:%M:%S"
  
  20:19:40