8 SC2055

Joachim Ansorg edited this page 2021-11-12 19:26:00 +01:00

Table of Contents

• You probably wanted && here, otherwise it's always true.
• Problematic code:
• Correct code:
• Rationale:
• Exceptions

You probably wanted && here, otherwise it's always true.

Problematic code:

if [[ $1 != foo || $1 != bar ]]
then
  echo "$1 is not foo or bar"
fi

Correct code:

if [[ $1 != foo && $1 != bar ]]
then
  echo "$1 is not foo or bar"
fi

Rationale:

This is not a bash issue, but a simple, common logical mistake applicable to all languages.

[[ $1 != foo || $1 != bar ]] is always true (when foo != bar):

• If $1 = foo then $1 != bar is true, so the statement is true.
• If $1 = bar then $1 != foo is true, so the statement is true.
• If $1 = cow then $1 != foo is true, so the statement is true.

[[ $1 != foo && $1 != bar ]] matches when $1 is neither foo nor bar:

• If $1 = foo, then $1 != foo is false, so the statement is false.
• If $1 = bar, then $1 != bar is false, so the statement is false.
• If $1 = cow, then both $1 != foo and $1 != bar is true, so the statement is true.

This statement is identical to ! [[ $1 = foo || $1 = bar ]], which also works correctly.

Exceptions

Rare.

• If I want to check that $FOO, $BAR and $COW are all equal:

if [[ $FOO != $BAR || $FOO != $COW ]]
then
    echo "$FOO and $BAR and $COW are not all equal"
fi

ShellCheck

• Installation

  • CentOS6
  • More Installation Guides

• Usage

  • Directive
  • Ignore

• Integrating and extending

  • Misc. contributions
  • Azure Pipelines
  • Buildkite
  • CircleCI
  • DevGuide
  • Integration
  • JUnit
  • Phabricator
  • TravisCI
  • GitLab CI
  • Drone
  • GitHub Actions

• Severity

• Template

Each individual ShellCheck warning has its own wiki page like SC1000. Use GitHub Wiki's "Pages" feature above to find a specific one, or see Checks.