Juste.
Contrairement à ce qui est dit plus bas, ^D (EOF) n'est pas spécifique au shell. Par contre le shell peut définir la séquence de caractère qui représente EOF.
EOF (ou ^D pour la grande majorité des cas) peut être utilisé partout où un proces est attaché à un terminal.
Exemple :
$ cat
coucou
coucou
^D
$
Un meilleur exemple
$ mail -s "message stupide" f.matias@one
coucou
^D
cc:^D
$
Pour la lancer un programme à 2 heure du matin
$ at 02:00
wget ftp://..../...iso(...)
^D
$
[^] # Re: CTRL-D == EOF
Posté par matiasf . En réponse au message [Terminal] se déloguer rapide. Évalué à 1.
Contrairement à ce qui est dit plus bas, ^D (EOF) n'est pas spécifique au shell. Par contre le shell peut définir la séquence de caractère qui représente EOF.
EOF (ou ^D pour la grande majorité des cas) peut être utilisé partout où un proces est attaché à un terminal.
Exemple :
$ cat
coucou
coucou
^D
$
Un meilleur exemple
$ mail -s "message stupide" f.matias@one
coucou
^D
cc:^D
$
Pour la lancer un programme à 2 heure du matin
$ at 02:00
wget ftp://..../...iso(...)
^D
$