AWK Frage - Filename ändern, aber wie?

[schlitzer]

Eine AWK-Frage.

Ich bin mir sicher, ich hab' exakt das hier beschriebene schon einmal gemacht, doch kann ich mich beim besten Willen nicht mehr daran erinnern! Ich bin wohl ein wenig eingerostet was AWK anbelangt....

Ich habe eine Datei deren Dateiname im Format

2006-02-16 xxxxxx.yyy

ist.

Ich möchte nun mit AWK den Dateinamen ändern, und zwar so, dass das Format dann so ausschaut:

060216 xxxxxx.yyy

Im Prinzip also nur die "-" beim Datum entfernen und das Jahr zwei- statt vierstellig.

Das habe ich codiert in AWK:

{
filename = FILENAME;

jahr = substr(filename,3,2);
monat = substr(filename,6,2);
tag = substr(filename,9,2);
newdatum = jahr "" monat "" tag;
topic = substr(filename,11);
newfilename = newdatum "" topic;

print (newdatum);
print (topic);
print (newfilename);
}


Die Variable "newfilename" enthält exakt den Namen, den die Datei danach haben soll. Nur wie umbenennen.

Ich erinnere mich dunkel, dass man sowas in die END {} - Schleife hineingeschrieben hat.....

Wer weiss Rat?