#! /bin/bash -ue
# Last edited on 2025-05-04 22:44:44 by stolfi

# A nicer version of {wc}, with headers and without the "total" line.

wc $@ \
  | gawk \
      ' BEGIN {
          ind = "    ";
          printf "\n";
          printf "%s  lines   words     bytes file        \n", ind;
          printf "%s------- ------- --------- ------------\n", ind;
        }
        ($4 != "total") { printf "%s%7d %7d %9d %s\n", ind, $1, $2, $3, $4 }
        END { printf "\n"; }
      '