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/is-this-shell-interactive_003f.html | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 devdocs/bash/is-this-shell-interactive_003f.html (limited to 'devdocs/bash/is-this-shell-interactive_003f.html') diff --git a/devdocs/bash/is-this-shell-interactive_003f.html b/devdocs/bash/is-this-shell-interactive_003f.html deleted file mode 100644 index d01a311e..00000000 --- a/devdocs/bash/is-this-shell-interactive_003f.html +++ /dev/null @@ -1,17 +0,0 @@ -

Is this Shell Interactive?

To determine within a startup script whether or not Bash is running interactively, test the value of the ‘-’ special parameter. It contains i when the shell is interactive. For example:

case "$-" in
-*i*)	echo This shell is interactive ;;
-*)	echo This shell is not interactive ;;
-esac
-
-

Alternatively, startup scripts may examine the variable PS1; it is unset in non-interactive shells, and set in interactive shells. Thus:

if [ -z "$PS1" ]; then
-        echo This shell is not interactive
-else
-        echo This shell is interactive
-fi
-
-
-

- 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/Is-this-Shell-Interactive_003f.html -

-
-- cgit v1.2.3