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