shell command til at vælge length af nummer?
Hejsa...Jeg er ved at lave et script på min linux box hvor jeg har en variabel der starter på 1, og ved hvert run stiger den med en.
Det er også fint nok hvis nu jeg ville have 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, etc
Jeg er dog i den situation at jeg skal bruge dem formatteret som: 0001, 0002, 0003 etc.
Så vil høre om der findes en command man kan bruge til at sige at ens variabel skal fylde op med 0 indtil at man har et 4 cifret tal?