From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/bash/comments.html | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 devdocs/bash/comments.html (limited to 'devdocs/bash/comments.html') diff --git a/devdocs/bash/comments.html b/devdocs/bash/comments.html deleted file mode 100644 index 615c6892..00000000 --- a/devdocs/bash/comments.html +++ /dev/null @@ -1,6 +0,0 @@ -

Comments

In a non-interactive shell, or an interactive shell in which the interactive_comments option to the shopt builtin is enabled (see The Shopt Builtin), a word beginning with ‘#’ causes that word and all remaining characters on that line to be ignored. An interactive shell without the interactive_comments option enabled does not allow comments. The interactive_comments option is on by default in interactive shells. See Interactive Shells, for a description of what makes a shell interactive.

-

- 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/Comments.html -

-
-- cgit v1.2.3