append - Ajoute à une variable

append varName ?value value value ...?

Ajoute tous les arguments value à la valeur courante de la variable varName.  Si varName n'existe pas, il lui est donné une valeur égale à la concaténation de tous les arguments value. Cette commande fournit un moyen efficace de construire des variables longues par incrémentation. Par exemple, “append a $b” est beaucoup plus efficace que “set a $a$b” si $a est long.

Index  Précédent  Suivant