Salut  
 
Soit le fichier fic1.txt :
 
cat fic1.txt  
09.0 5
10.5 8
12.0 10
 
Et le fichier fic2.txt
 
cat fic2.txt  
09.0
09.5
10.0
10.5
11.0
11.5
12.0
12.5
13.0
13.5
 
Auriez vous un moyen simple pour merger ces 2 fichiers pour avoir ce résultat :
 
cat result.txt
09.0 5
09.5
10.0
10.5 8
11.0
11.5
12.0 10
12.5
13.0
13.5
 
Bien entendu j'ai la solution qui consiste à boucler sur le fic2.txt et vérifier chaque ligne si elle est dans fic1.txt. Mais cette méthode peut s'avérer couteuse en terme de temps de réponse.
 
Avez vous d'autre moyen en shell (sh/ksh) ? avec la puissante commande awk par exemple ?
 
merci
 
 
 

Je crois avoir trouvé (merci ggle) :
 
join -a 2 fic1.txt fic2.txt  
09.0 5
09.5
10.0
10.5 8
11.0
11.5
12.0 10
12.5
13.0
13.5
 
Désolé pour le dérangement, mais je suis sûr que ça va sérvice plus d'un