Re: Ctrl-d = fin de bash
On Wed, Jun 25, 2003 at 17:52:46 +0200, Frédéric BOITEUX wrote:
> Pour faire cela, il suffit de changer le caractère de fin de fichier
> avec stty :
[...]
ce qui est une mauvaise idée, car cela n'affecte pas uniquement bash.
--
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> - 100%
validated HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des
Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA
Reply to: