Comment dupliquer une redirection ? [bash] - Codes et scripts - Linux et OS Alternatifs
Marsh Posté le 23-05-2004 à 10:41:14
echo "Serveur disponible." | tee log 
 
man tee
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 | 
 
 
@+ !
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