Re: Ctrl-d = fin de bash
Bonjour,
Grégory Simon me demande de transmettre ici sa réponse. C'est fait
ci-dessous.
Pierre Crescenzo
====================================================
Subject: Empecher ctrl-d
From: Grégory SIMON <greg.simon@laposte.net>
To: Pierre@crescenzo.nom.fr
Date: 16 Jul 2003 11:59:41 +0200
Bonjour,
Je réponds un peu tard mais je viens juste de découvrir cette option ;-)
De plus j'ai effacé le mail original.
c'est l'option :
set -o ignoreeof
A toi de la placer où tu veux ;-)
A+. Greg.
Peux-tu répondre dans la liste sur le thread original stp ?
====================================================
[CITATION ALÉATOIRE : Le temps, tel qu'on le calcule, ralentit quand
l'objet se déplace. Lawrence M. Krauss d'après Albert Einstein]
--
Pierre Crescenzo
mailto:Pierre@crescenzo.nom.fr
http://www.crescenzo.nom.fr/
Reply to: