ot: converting minutes in hour-decimals

Wolfgang Engelmann engelmann at uni-tuebingen.de
Wed Jun 17 17:31:00 UTC 2020



Am 17.06.20 um 19:26 schrieb Rich Shepard:
> 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

Thanks, Rich
sounds good. Will try tomorrow (I am a lark)
Wolfgang


More information about the lyx-users mailing list