[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: wget mit in- und out-file



On Tue, Aug 23, 2005 at 12:52:02AM +0200, Werner Mahr wrote:
> ich bin gerade ein bisschen mit basename am spielen, da kommt vielleicht 
> was universelleres bei raus. Kann man das irgendwie hinbekommen, das 
> die Datei 001 heißt, und nicht nur 1? Ich hätte schon gerne die 
> ursprüngliche Reihenfolge behalten.

Dafür kannst Du printf verwenden. 

printf "%03d" 1

- sebastian



Reply to: