mirror of
https://https.git.savannah.gnu.org/git/bash.git
synced 2026-07-02 01:40:49 +02:00
commit bash-20201001 snapshot
This commit is contained in:
+7
-5
@@ -1,9 +1,9 @@
|
||||
<!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, 25 August 2020).
|
||||
the Bash shell (version 5.1, 23 September 2020).
|
||||
|
||||
This is Edition 5.1, last updated 25 August 2020,
|
||||
This is Edition 5.1, last updated 23 September 2020,
|
||||
of The GNU Bash Reference Manual,
|
||||
for Bash, Version 5.1.
|
||||
|
||||
@@ -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, 25 August 2020).
|
||||
the Bash shell (version 5.1, 23 September 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 25 August 2020,
|
||||
<p>This is Edition 5.1, last updated 23 September 2020,
|
||||
of <cite>The GNU Bash Reference Manual</cite>,
|
||||
for <code>Bash</code>, Version 5.1.
|
||||
</p>
|
||||
@@ -6872,7 +6872,9 @@ Emacs shell buffer and disables line editing.
|
||||
<dt><code>ENV</code>
|
||||
<span id="index-ENV"></span>
|
||||
</dt>
|
||||
<dd><p>Similar to <code>BASH_ENV</code>; used when the shell is invoked in
|
||||
<dd><p>Expanded and executed similarlty to <code>BASH_ENV</code>
|
||||
(see <a href="#Bash-Startup-Files">Bash Startup Files</a>)
|
||||
when an interactive shell is invoked in
|
||||
<small>POSIX</small> Mode (see <a href="#Bash-POSIX-Mode">Bash POSIX Mode</a>).
|
||||
</p>
|
||||
</dd>
|
||||
|
||||
Reference in New Issue
Block a user