From 754bbf7a25a8dda49b5d08ef0d0443bbf5af0e36 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Sun, 7 Apr 2024 13:41:34 -0500 Subject: new repository --- devdocs/bash/reporting-bugs.html | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 devdocs/bash/reporting-bugs.html (limited to 'devdocs/bash/reporting-bugs.html') diff --git a/devdocs/bash/reporting-bugs.html b/devdocs/bash/reporting-bugs.html new file mode 100644 index 00000000..97073a05 --- /dev/null +++ b/devdocs/bash/reporting-bugs.html @@ -0,0 +1,12 @@ +

Appendix A Reporting Bugs

Please report all bugs you find in Bash. But first, you should make sure that it really is a bug, and that it appears in the latest version of Bash. The latest version of Bash is always available for FTP from ftp://ftp.gnu.org/pub/gnu/bash/ and from http://git.savannah.gnu.org/cgit/bash.git/snapshot/bash-master.tar.gz.

Once you have determined that a bug actually exists, use the bashbug command to submit a bug report. If you have a fix, you are encouraged to mail that as well! Suggestions and ‘philosophical’ bug reports may be mailed to bug-bash@gnu.org or posted to the Usenet newsgroup gnu.bash.bug.

All bug reports should include:

+

bashbug inserts the first three items automatically into the template it provides for filing a bug report.

Please send all reports concerning this manual to bug-bash@gnu.org.

+

+ Copyright © 2000, 2001, 2002, 2007, 2008 Free Software Foundation, Inc.
Licensed under the GNU Free Documentation License.
+ https://www.gnu.org/software/bash/manual/html_node/Reporting-Bugs.html +

+
-- cgit v1.2.3