shell script kérdés

Van egy shell script ami 1-9999 közötti számokkal dolgozik, viszont a számokat 4 karakter hosszan kellene kezelnie (fájlneveknél)

pl.

5 = 0005
12 = 0012
345 = 0345
7891 = 7891

if...then, kisebb mint 10, 100, 1000 -el meg tudom csinálni, csak az érdekelne van-e valami egyszerűbb, frappánsabb megoldás erre (pl. sed vagy awk trükk)

Hozzászólások