ctrl+d
Created by: YoungFrog
Je pense qu'il faudrait préciser "caractères équivalents" cf Character.isWhitespace
Ils ne trouveront pas tout seul à mon avis.
La remarque "pas de Ctrl-d ici" est un peu hors de propos car ce n'est pas Ctrl+D en tant que caractère (càd ASCII 4) qui indique EOF : un fichier peut contenir de tels caractères, cela n'empêchera pas grep, cat et leurs amis de lire le fichier jusqu'à son terme. Je sais que c'était une petite blagounette, mais je pense qu'il vaut mieux éviter d'entretenir la confusion et je propose de supprimer.
Une explication de Ctrl+D sous Linux est ici : https://unix.stackexchange.com/questions/110240/why-does-ctrl-d-eof-exit-the-shell/110248#110248