> I once had the need to format a number with leading zeros. (I wanted > the script file to create file names like file001, file002, ... file010, You might try echoing the text rhrough printf, or getting the output of printf %4d $i into another shell variable for execution. Echoing the valur to printf deosn't seem to work; that jsut prints zeros on my system. > Randy Kramer ------------------------------------------------------------------------ David E. Fox Thanks for letting me [EMAIL PROTECTED] change magnetic patterns [EMAIL PROTECTED] on your hard disk. -----------------------------------------------------------------------
Want to buy your Pack or Services from MandrakeSoft? Go to http://www.mandrakestore.com
