#!/bin/sh

# The ${1+"$@"} idiom, on
# the other hand, vanishes completely from the command line
# if there are no arguments supplied. [See "man sh".]

# To test, try:
#
#	./args.sh "arg1" "arg2_1 arg2_2" ""
#	./args.sh
#


echo '#### correct'
echo './args2.sh ${1+"$@"}'
./args2.sh ${1+"$@"}

echo 
echo '#### correct'
echo './args2.sh "$@"'
./args2.sh "$@"

echo 
echo '#### bad'
echo './args2.sh $@'
./args2.sh $@

echo 
echo '#### bad'
echo './args2.sh $*'
./args2.sh $*

echo 
echo '#### bad'
echo './args2.sh "$*"'
./args2.sh "$*"
