¿Cómo convierto un entero en una cadena con ceros a la izquierda en Tcl?

Question

Estoy aprendiendo Tcl. En Perl puedo hacer esto:

$ perl -e 'for ($i = 0; $i < 5; $i++) { printf("name%03d\n", $i) }' 
name000 
name001 
name002 
name003 
name004 

¿Puedo hacer esto en Tcl?

Answer 1

Ver format:

$ tclsh 
% for {set i 0} {$i < 5} {incr i} { puts [format "name%03d" $i] } 
name000 
name001 
name002 
name003 
name004