I have some json file in dictionary format. The lines looks like here:
{"a":"1", "b":"2", "c":"3", "time":1334572551435}
{"a":"1", "b":"2", "c":"4", "time":1334575352456}
{"a":"2", "b":"2", "c":"7", "time":1334575335345}
...
time is in a UTC format. The whole file has about 300 milliones unique lines (anyway the same time could come twice). How I can choose a lines for some particular time, for example between 1334575352456
and 1334575353456
?
I personally have the next idea from some tutorial:
awk ’$"time" == 1334575352456, $"time" == 1334575353456’ inputfile.json
anyway, I suppose this solution is for column "time"
, not for dictionary with the key "time"
(Actually $"time"
should be $4
)