Hi! On Sat, 3 Oct 1998, Oliver Hillmann wrote: > On Sat, 3 Oct 1998, Carsten Wartmann wrote: [...] > Jaja, nimm doch printf, das gibts auch GNU Shell Utility.. Also > > printf "filename.%05d" $nummer Oh, funktioniert. Mit man bash | grep printf findet man aber nichts. Wieso kann die shell es dann doch? Tschüß, Oliver