push - append one or more elements to an array

- NAME
- SYNOPSIS
- DESCRIPTION

# 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