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