NAME

push - append one or more elements to an array


SYNOPSIS

push ARRAY,LIST


DESCRIPTION

Treats ARRAY as a stack, and pushes the values of LIST onto the end of ARRAY. The length of ARRAY increases by the length of LIST. Has the same effect as

    for $value (LIST) {
	$ARRAY[++$#ARRAY] = $value;
    }

but is more efficient. Returns the new number of elements in the array.