sed e awk? RISOLTO

[leytonn]

Ciao a tutti.
Tramite il comando di un software che uso ottengo in un file di testo diverse informazioni tra cui questa:

Source date:    Thu Aug  9 16:05:05 2007

il mio obiettivo è quello di elaborare questa riga (la data però può essere diversa di volta in volta) e sostituirla nello stesso file. In questo caso vorrei:

Data corretta:    9  Aug 2007  Thu 16:05:05

Mi sto indirizzando verso l'uso di SED e AWK ma non ne vengo fuori.
Per il momento ho creato un file che si chiama "data_corretta_source" che mi dà la data nel giusto formato:
9.Aug.2007

ed ho sostituito Source date con Data corretta:
sed /"Source Date"/s//"Data Coretta"/g

Come faccio ora a sostituire    Thu Aug  9 16:05:05 2007      con      9.Aug.2007  ?


Qualcuno sa aiutarmi?

[A.Anobile]

Non sono un guru di sed però questo ti può essere d'aiuto:

Codice: Seleziona tutto

echo "Source date:     Thu Aug  9 16:05:05 2007 " |sed 's/Source date:\W*\w*\W*\(\w*\)\W*\([0-9]*\)\W*\w*:\w*:\w* \([0-9]*\)/Data corretta: \2\.\1\.\3/

Data corretta: 9.Aug.2007

[leytonn]

da quello che ho capito, devo comunque verificare, la tua soluzione va bene solo nei casi in cui la data non cambi.
Non credo sia dinamica la cosa-vero?

[leytonn]

Bravissimo A.Anobile.
Funziona perfettamente. Ti ringrazio tanto.

Come ultima cosa ti chiederei se potessi spiegarmi a grandi linee quali sono le operazioni che vengono fatte con quelle istruzioni.

(good)
(good)
(good)

[A.Anobile]

Devi guardarti un po' le regex (su google trovi tantissimo materiale).

Ciò che inserisci tra le parentesi viene memorizzato in variabili numerate (\1,\2,\3...)