Concaténer des chaînes et des contenus de fichiers

Bonjour à tous,

Je souhaiterais envoyer via un pipe à un programme un input composé de contenu de fichiers et de chaînes de caractères introduites dans le shell.

En clair, disons que j'ai les fichiers fichier_1.txt fichier_2.txt fichier_3.txt.

Pour les concaténer, il suffirait de faire

Code:

---

$ cat fichier_1.txt fichier_2.txt fichier_3.txt | enscript -o fichier.ps

---

Mais je voudrais intercaler des titres pour chacun de ces fichiers, ce qui donnerait quelque chose comme

Code:

---

$ cat "titre 1" fichier_1.txt "titre 2" fichier_2.txt "titre 3 " fichier_3.txt | enscript -o fichier.ps

---

... ce qui est fautif, je le sais bien :?

Comment procéder ? Idéalement, la commande devrait être enregistrée dans un Makefile.

Merci d'avance,

Bonjour,

Code:

---

$ cat <(echo "titre 1") fichier_1.txt <(echo "titre 2") fichier_2.txt <(echo "titre 3") fichier_3.txt | enscript -o fichier.ps

---

chez moi en bash, ceci fonctionne :

Code:

---

1 2 3

$ ( echo "titre 1" ; cat fichier_1.txt ; echo "titre 2" ; cat fichier_2.txt ) | ma commande qui suit....

---

le sous-shell induit par les parenthèses n'est pas nécessaire, et peut être remplacé par une liste :

Code:

---

{ cat fic_1; echo foo; cat fic_; echo bar;} | command

---

mais ça appelle cat pour chaque fichier, ce qui ne permet pas de tirer le meilleur parti de ce que cat sait faire : concaténer !