[tex-live] Re: TeX Live UNIX shell scripts

Thomas Esser te@informatik.uni-hannover.de
Tue, 16 Apr 2002 18:17:29 +0200

>             ${1+"$@"}
> How about simply "$@" ?  Is that acceptably portable?

AFAIK, there are old broken shells which substitute an empty string for
"$@" if no arguments are set (instead of nothing). I have no idea if
this is still relevant these days, however.

Does anyone know a system / platforms where /bin/sh has this bug?
I guess that a broken system reports 1 for the following code:
  /bin/sh -c 'set x "$@"; shift; echo $#' sh