Re: Journaliser les commandes d'un shell

Page principale

Répondre à ce message
Auteur: Edgar Bonet
Date:  
À: ML Guilde
Sujet: Re: Journaliser les commandes d'un shell
Le mercredi 12 janvier, Vareille Aimé a écrit :
> Peut-être piper le shell dans tee suivant l'exemple de logging de
> certains make ?


À ce tarif autant utiliser script.

-- 
Edgar Bonet           Maison : 04 76 21 29 16    Bureau : 04 76 88 10 96
3 rue Jean Prévost    Mobile : 06 77 19 79 39    Fax    : 04 76 88 11 91
38000 Grenoble        guilde@???     www.edgar-bonet.org