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.


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


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

Almost certainly needs fine tuning. :-)



More information about the lyx-users mailing list