Bash-5.1-rc2 release

This commit is contained in:
Chet Ramey
2020-11-03 14:36:06 -05:00
parent 5f2b5d79e0
commit 278db80c36
42 changed files with 775 additions and 1119 deletions
+6 -6
View File
@@ -1,13 +1,13 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- This text is a brief description of the features that are present in
the Bash shell (version 5.1, 23 September 2020).
the Bash shell (version 5.1, 29 October 2020).
This is Edition 5.1, last updated 23 September 2020,
This is Edition 5.1, last updated 29 October 2020,
of The GNU Bash Reference Manual,
for Bash, Version 5.1.
Copyright (C) 1988-2018 Free Software Foundation, Inc.
Copyright (C) 1988-2020 Free Software Foundation, Inc.
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3 or
@@ -275,10 +275,10 @@ Next: <a href="#Introduction" accesskey="n" rel="next">Introduction</a>, Previou
<span id="Bash-Features-1"></span><h1 class="top">Bash Features</h1>
<p>This text is a brief description of the features that are present in
the Bash shell (version 5.1, 23 September 2020).
the Bash shell (version 5.1, 29 October 2020).
The Bash home page is <a href="http://www.gnu.org/software/bash/">http://www.gnu.org/software/bash/</a>.
</p>
<p>This is Edition 5.1, last updated 23 September 2020,
<p>This is Edition 5.1, last updated 29 October 2020,
of <cite>The GNU Bash Reference Manual</cite>,
for <code>Bash</code>, Version 5.1.
</p>
@@ -10282,7 +10282,7 @@ The default is &lsquo;<samp>@</samp>&rsquo;.
that will enable it to insert each paste into the editing buffer as a
single string of characters, instead of treating each character as if
it had been read from the keyboard. This can prevent pasted characters
from being interpreted as editing commands. The default is &lsquo;<samp>off</samp>&rsquo;.
from being interpreted as editing commands. The default is &lsquo;<samp>On</samp>&rsquo;.
</p>
</dd>
<dt><code>enable-keypad</code></dt>