evadk8·há 3 anos·discussthe problem with awk is it is slow: counting lines of a json file (some 18mil lines) takes a few seconds where sed is much faster