#! /bin/bash
# Last edited on 2024-03-30 18:03:43 by stolfi

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

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