Forum |  HardWare.fr | News | Articles | PC | S'identifier | S'inscrire | Shop Recherche
1696 connectés 

  FORUM HardWare.fr
  Linux et OS Alternatifs
  Codes et scripts

  [bash] Comment dupliquer une redirection ?

 


 Mot :   Pseudo :  
 
Bas de page
Auteur Sujet :

[bash] Comment dupliquer une redirection ?

n°484470
Yttrium
Furtif
Posté le 23-05-2004 à 10:29:31  profilanswer
 

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
mood
Publicité
Posté le 23-05-2004 à 10:29:31  profilanswer
 

n°484474
jdloic
Posté le 23-05-2004 à 10:41:14  profilanswer
 

echo "Serveur disponible." | tee log
 
man tee


Message édité par jdloic le 23-05-2004 à 10:42:05
n°484480
Yttrium
Furtif
Posté le 23-05-2004 à 10:58:07  profilanswer
 

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

echo "Serveur disponible." | tee -a log


 
@+ !


Aller à :
Ajouter une réponse
  FORUM HardWare.fr
  Linux et OS Alternatifs
  Codes et scripts

  [bash] Comment dupliquer une redirection ?

 

Sujets relatifs
redirection transparente avec mod rewritedupliquer son profil sous mdk10
[BASH] Récupérer le code de retour d'une commande a travers rsh ?[bash/perl] Faire un graphique
[bash] probleme traitement fichier texteCompiler un script bash
Sendmail root redirection problème.iptable, redirection, AoM
[SQUID2.5] + redirection vers websensezsh et couleur bash
Plus de sujets relatifs à : [bash] Comment dupliquer une redirection ?


Copyright © 1997-2022 Hardware.fr SARL (Signaler un contenu illicite / Données personnelles) / Groupe LDLC / Shop HFR