push - append one or more elements to an array


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 number of elements in the array following the completed push.

 push - append one or more elements to an array