stdin-filenames.patch

   1 diff --git a/src/file.c b/src/file.c
   2 index 5300e5af..6f42fd1d 100644
   3 --- a/src/file.c
   4 +++ b/src/file.c
   5 @@ -554,8 +554,7 @@ process(struct magic_set *ms, const char *inname, int wid)
   6             file_err(EXIT_FAILURE, "Can't allocate %zu bytes", plen);
   7
   8         if (wid > 0 && !bflag) {
   9 -               pname = file_printable(ms, pbuf, plen, inname, wid);
  10 -               (void)printf("%s", std_in ? "/dev/stdin" : pname);
  11 +               (void)printf("%s", std_in ? "/dev/stdin" : inname);
  12                 if (nulsep)
  13                         (void)putc('\0', stdout);
  14                 if (nulsep < 2) {