4 ms·I use json.tool a lot too, but usually pipe it to `less`, using the paging and searching.by burkemw3 10y agoI use json.tool a lot too, but usually pipe it to `less`, using the paging and searching.