AwkMay 15, 2024 AWK script that sums a column with a headerThe awk one-liner I keep forgetting, with the one option that made it robust.