[Fedora-users-br] sed

[Alberto Vieira Ferreira Monteiro]

Desisto. Ou eu sou muito burro, ou essa documentação é muito ruim.

Eu quero fazer o seguinte: dado um número n (que pode ser desde 1 a 99999),
eu quero escrevê-lo com 5 campos, precedidos por 0.

Por exemplo, 42 vira 00042, e 3141 vira 03141

Em C, isso é trivial: printf("%05d", n);

Mas eu sou teimoso, e tentei fazer isso com sed.

Teoricamente, alguma coisa do tipo:

n=42
echo "00000$n:" | sed -n 's/*([0-9]{5}):/\1/p'

devia funcionar, mas não funciona. Tentei acrescentar vários \, sem sucesso.

Obviamente, os helps e FAQs não ajudam. Alguém tem alguma idéia de
como isso funciona?

Alberto Monteiro