ot: converting minutes in hour-decimals

Rich Shepard rshepard at appl-ecosys.com
Wed Jun 17 17:26:47 UTC 2020


On Wed, 17 Jun 2020, Wolfgang Engelmann wrote:

> yes, thats clear, but how to do that one >>>
>> You can use python for this on the command line.
> The aim is, to produce a second column with the hours-minutes in decimals, 
> something like $1/60.

Wolfgang,

Oh. I'd use awk; a one-line script. Off the top of my head:

#!/usr/bin/gawk

BEGIN { FS=OFS=":" } { print $1 $2, $1 $2/60 }

Almost certainly needs fine tuning. :-)

Regards,

Rich


More information about the lyx-users mailing list