commit bash-20180504 snapshot

This commit is contained in:
Chet Ramey
2018-05-08 14:27:28 -04:00
parent 2afeb2af6a
commit 96b7e26874
13 changed files with 190 additions and 45 deletions
+1 -1
View File
@@ -6065,7 +6065,7 @@ as the sole input. If set, the value denotes the number
of consecutive @code{EOF} characters that can be read as the
first character on an input line
before the shell will exit. If the variable exists but does not
have a numeric value (or has no value) then the default is 10.
have a numeric value, or has no value, then the default is 10.
If the variable does not exist, then @code{EOF} signifies the end of
input to the shell. This is only in effect for interactive shells.