[ILUGC] How to convert 20:40.280 (mm.ss.SSS) to 00:20:40.280 (hh.mm.ss.SSS) in Bash

From: Baskar Selvaraj <baskar@xxxxxxxxxxxx>
To: ilugc <ilugc@xxxxxxxxxxxxx>
Date: Thu, 3 Sep 2020 06:05:19 +0530

Hi all,
How to convert 20:40.280 (mm.ss.SSS) to 00:20:40.280 (hh.mm.ss.SSS) in Bash

sed/awk/gawk/perl based solution would be appreciated.

Thanks in advance.

S. Baskar

---
Mailing List Guidelines: https://ilugc.in/mailing-list-guidelines
Web: http://ilugc.in/
Internet Relay Chat: #ilugc on irc.freenode.net

Follow-Ups:
- [ILUGC] Re: How to convert 20:40.280 (mm.ss.SSS) to 00:20:40.280 (hh.mm.ss.SSS) in Bash
  - From: inventsekar
- [ILUGC] Re: How to convert 20:40.280 (mm.ss.SSS) to 00:20:40.280 (hh.mm.ss.SSS) in Bash
  - From: Gopinath M

[ILUGC] How to convert 20:40.280 (mm.ss.SSS) to 00:20:40.280 (hh.mm.ss.SSS) in Bash

Other related posts: