[Solved] Find duplicate and add pattern in sed/awk

Shell Programming and Scripting
1

<Update>
I have the solution:

sed 's/[0-9]\{3\}/&;&;---;4/'

The thread can be marked as solved!

</Update>

Hi There,

I'm working on a script processing some data from a website into cvs format. There is only one final problem left I can't find a solution.

I've processed my file already with html2txt and some sed code. This is an example for the resoults:

[...]
SupportoTabula marmorea TecnicaInsculptus FunzioneTit. sepulchralis Datazione Signa Christi
                                                   372       Desunt
[...]
SupportoTabula marmorea Tecnicanon liquet FunzioneTit. sepulchralis Datazione Signa Christi
                                                   360       Monogr. Christi
[...]
ect.

Now, I would like to find all numbers only three characters long and repleace them with a pattern as follows:

"372" with "372;372;---;4"
"360" with "360;360;---;4"

The lines

SupportoTabula marmorea Tecnicanon liquet FunzioneTit. sepulchralis Datazione Signa Christi

going to be procces later, I have a solution for that.

My "solution", so far I could get looks like:

s/^[ \t]*//; # deleting all withespaces
s/^\([2-8]\+\ # theoretically searching for numbers starting with 2 till 8, but I'm not sure it is working at all

I would appreciate any ideas or help!

Thanks,
lolworlds