[bash] Comment dupliquer une redirection ?

Comment dupliquer une redirection ? [bash] - Codes et scripts - Linux et OS Alternatifs

Marsh Posté le 23-05-2004 à 10:29:31    

Salut !
 
Je n'arrive pas à trouver le moyen de dupliquer une redirection, càd d'envoyer un flux de sortie à deux endroits à la fois.
 
Dans un script, j'effectue des commandes et je souhaite donner des infos à l'utilisateur, mais également journaliser tout ce qui s'est affiché. Pour l'instant, je m'y prends comme ça :
 

echo "Serveur disponible."
echo "Serveur disponible." >> log


 
Mais ça manque cruellement d'élégance... Comment faire ?


Message édité par Yttrium le 23-05-2004 à 10:29:55
Reply

Marsh Posté le 23-05-2004 à 10:29:31   

Reply

Marsh Posté le 23-05-2004 à 10:41:14    

echo "Serveur disponible." | tee log
 
man tee


Message édité par jdloic le 23-05-2004 à 10:42:05
Reply

Marsh Posté le 23-05-2004 à 10:58:07    

-> jdloic
 
Merci ! Je l'avais oublié celle-là !
 
Dans mon cas, j'aurais donc :
 

echo "Serveur disponible." | tee -a log


 
@+ !

Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed