Làm cách nào để chuyển đổi số nguyên thành chuỗi có số 0 đứng đầu trong Tcl?

Question

Tôi đang học Tcl. Trong Perl tôi có thể làm điều này:

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

Tôi có thể làm điều này trong Tcl không?

Answer 1

Xem format:

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