push, pop
Synopsis:
push <variable name> <word>
pop <variable name>
Description:
push appends the given word (or words) to the given variable, padded
with a single space. The variable name itself may not contain a leading '$';
the command uses the variable itself, not the expanded contents. If the variable
does not exist, it is created containing the given word(s) (just as if assign
were used).
Aliases:
pop is the exact opposite of push, in that it pops off the last word
in the variable. If there is only one word in the variable, the variable is
deleted. Both push and pop are functionally equivalent to the
$push() and $pop() functions, respectively.
See Also:
assign
shift, unshift