Aide sur script shell insertion de caracteres

Bonjour,

J'ai besoin d'aide sur un script, je n'ai pas d'idée comment faire.

Voici mon fichier de configuration test.cfg que je souhaite exploiter :

A;1 RE X O 08 59 m 1 MICHEL
B;2 RE X O 09 23 M 4 FRANCIS
C;3 RE X O 10 29 V 0 PAUL
D;4 RE X O 11 20 D 5 GERARD

La commande utilisée :

cat test.cfg | grep PAUL | awk '{print $1,$2,$9}'

Le résultat :

C;3 RE PAUL

Je souhaite formater le résultat de cette forme :
"C;3" RE PAUL.txt
Ajouter des guillements entre le $1 et ajouter une extension .txt au $9

Merci de votre aide.