Re: Journaliser les commandes d'un shell

Ce message fait partie du fil suivant :
	Arborescence complète du fil triée par date
	Edgar Bonet à
	Patrice KARATCHENTZEFF à

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

Ce message a été envoyé sur les listes de diffusion suivantes :
Guilde Informations sur la liste de diffusion \| Messages voisins		Re: Journaliser les commandes d'un shell	clavier sans fil USB sous linux

Archive des listes de la GUILDE administré par L'administrateur

Lurker (version 2.3)