diff options
Diffstat (limited to 'bash/bashrc')
-rw-r--r-- | bash/bashrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bash/bashrc b/bash/bashrc index 676ff476..c677d110 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -76,7 +76,7 @@ if ((10#${BASH_VERSINFO[0]%%[![:digit:]]*} >= 4)) ; then # Enable double-starring paths shopt -s globstar - # Warn me about stopped jobs when exiting; only if >4.1 due to bug + # Warn me about stopped jobs when exiting; only if >=4.1 due to bug # <https://lists.gnu.org/archive/html/bug-bash/2009-02/msg00176.html> if ((10#${BASH_VERSINFO[0]%%[![:digit:]]*} > 4)) \ || ((10#${BASH_VERSINFO[1]%%[![:digit:]]*} > 0)) ; then |