133

I was skimming through an /etc/rc.d/init.d/sendmail file (I know this is hardly ever used, but I'm studying for an exam), and I've become a bit confused about the && and the || operators. I've read where they can be used in statements such as:

if [ test1 ] && [ test2 ]; then
     echo "both tests are true"
elif [ test1 ] || [ test2 ]; then
     echo "one test is true"
fi

However, this script shows single line statements such as:

[ -z "$SMQUEUE" ] && SMQUEUE="QUEUE"
[ -f /usr/sbin/sendmail ] || exit 0

These seem to be using the && and || operators to elicit responses based on tests, but I haven't been able to dig up documenation regarding this particular use of these operators. Can anyone explain what these do in this particular context?

Gilles 'SO- stop being evil'
  • 829,060
josh-cain
  • 1,821

6 Answers6

202

The right side of && will only be evaluated if the exit status of the left side is zero (i.e. true). || is the opposite: it will evaluate the right side only if the left side exit status is non-zero (i.e. false).

You can consider [ ... ] to be a program with a return value. If the test inside evaluates to true, it returns zero; it returns nonzero otherwise.

Examples:

$ false && echo howdy!

$ true && echo howdy!
howdy!
$ true || echo howdy!

$ false || echo howdy!
howdy!

Extra notes:

If you do which [, you might see that [ actually does point to a program! It's usually not actually the one that runs in scripts, though; run type [ to see what actually gets run. If you wan to try using the program, just give the full path like so: /bin/[ 1 = 1.

Hashim Aziz
  • 109
Shawn J. Goff
  • 46,081
  • 8
    When you see "X or Y", you test X. If it's true, you already know the answer to "X or Y" (it's true), so no need to test Y. If it's true, you don't know the answer to "X or Y", so you do need to test Y. When you see "X and Y", you test X. If it's false, you already know the answer to "X and Y" (it's false), so no need to test Y. If X is true, then you do need to test Y to see if "X and Y" is true. – David Schwartz Nov 16 '11 at 03:41
  • 4
    Instead of "if the left side returns zero", I would write "if the left side command's exit status is zero". I find "return" a bit ambiguous as the output and the exit status can both be considered as "return values" – glenn jackman Nov 16 '11 at 14:36
  • 1
    Not only can you "consider [ ... ] to be a program", in many cases it is. It's commonly in the file /bin/[ or /usr/bin/[. – Mr. Lance E Sloan Oct 28 '16 at 16:39
  • 14
    C programmers will find this super confusing. There 0 means false... While in shellscripting 0 means true... Mind blown. – Calmarius Aug 15 '17 at 09:37
  • Another one that you could mention is test instead of if or [. And if [ and if test seem to be interspersed with [ and test with no apparent rhyme or reason. test shows up on occasion, like at config.site for vendor libs on Fedora x86_64. –  Oct 21 '17 at 04:45
  • 2
    @Calmarius If you're used to C, think of return statuses, not booleans, where return 0 means success. – TimD1 Jul 09 '19 at 18:14
  • yeah thinking of it as success/unsuccessful is certainly helping rather than 0/1 return code value. – dashesy May 18 '20 at 21:03
97

Here's my cheat sheet:

  • "A ; B" Run A and then B, regardless of success of A
  • "A && B" Run B if A succeeded
  • "A || B" Run B if A failed
  • "A &" Run A in background.
Jeff Schaller
  • 67,283
  • 35
  • 116
  • 255
user177073
  • 1,181
  • There's some interesting lambda calculus parallels going on here demonstrated in working JavaScript(define the variables in order); "left(aka true)": (a => b => a). "right(aka false)": (a => b => b). "A; B" "then" (a => b => (() => b())(a())). "A && B" "if without else(when)" (a => b => a()(() => right)(b)). "A || B" "else without if(unless)" (a => b => a()(b)(() => right)). "a && b || c" "ifThenElse" (a => b => c => (unless(when(a)(b))(c))()). – Dmytro Jul 15 '17 at 04:53
  • 1
    note that in bash, left is analogous 0/empty string, right analogous is everything else. – Dmytro Jul 15 '17 at 05:00
  • What about a single vertical bar? – Deoxal Jan 18 '21 at 03:50
  • 1
    @Deoxal That's a pipe. – Rodrigo Aug 26 '22 at 23:39
36

to expand on @Shawn-j-Goff's answer from above, && is a logical AND, and || is a logical OR.

See this part of the Advanced Bash Scripting Guide. Some of the contents from the link for user reference as below.

&& AND

if [ $condition1 ] && [ $condition2 ]
#  Same as:  if [ $condition1 -a $condition2 ]
#  Returns true if both condition1 and condition2 hold true...

if [[ $condition1 && $condition2 ]]    # Also works.
#  Note that && operator not permitted inside brackets
#+ of [ ... ] construct.

|| OR

if [ $condition1 ] || [ $condition2 ]
# Same as:  if [ $condition1 -o $condition2 ]
# Returns true if either condition1 or condition2 holds true...

if [[ $condition1 || $condition2 ]]    # Also works.
#  Note that || operator not permitted inside brackets
#+ of a [ ... ] construct.
GeneCode
  • 157
Tim Kennedy
  • 19,697
18

From my experience I use the && and || to reduce an if statement to a single line.

Say we are looking for a file called /root/Sample.txt then the traditional iteration would be as follows in shell:

if [ -f /root/Sample.txt ]
then
    echo "file found"
else
    echo "file not found"
fi

These 6 lines can be reduced to a single line:

[[ -f /root/Sample.txt ]] && echo "file found" || echo "file not found"

When running a few iterations to set variables or to create files etc., life is easier and the script looks slicker using the single line if function, it's only drawback is that it becomes a bit more difficult to implement multiple commands from a single iteration however you can make use of functions.

Community
  • 1
syme89
  • 181
  • This is cool. Reminds me of objc code (a==b)?val=1:val=2; – GeneCode Aug 29 '17 at 04:13
  • How can i use this command when I want to run a process in the background with "&"? I get a syntax error for ./someScript.sh & && echo 'ok' || echo 'ko' – Katie Mar 20 '18 at 22:54
  • 1
    In the form: foo && bar || baz, if foo succeeds then bar fails, baz will be run, so it is subtly different from an if statement. – matvore Mar 21 '20 at 14:28
  • I must note that it is possible to execute several commands in a row in {} parentheses, using && or ||, such as: pidof udpxy > /dev/null 2>&1 && echo "udpxy is up!" || { echo "udpxy is down!"; /etc/init.d/udpxy restart; }. It is also worth mentioning that if..then..else is a more reliable "recognizer" of true/false conditions than using && and ||. – s3n0 Jan 31 '21 at 11:53
4

There is a notion of "short cutting".

When (expr1 && expr2) is evaluated - expr2 is only evaluated if exp1 evaluates to "true". This is because both expr1 AND expr2 have to be true for (expr1 && expr2) to be true. If expr1 evaluates to "false" expr2 is NOT evalued (short cut) because (expr1 && expr2) is already "flase".

Try the following - assume file F1 exists & file F2 does not exist:

( [ -s F1 ] && echo "File Exists" )  # will print "File Exists" - no short cut
( [ -s F2 ] && echo "File Exists" )  # will NOT print "File Exists" - short cut

Similarly for || (or) - but short cutting is reversed.

jasonwryan
  • 73,126
Larry
  • 41
  • 1
  • 5
    The logic is usually referred to as "short circuiting". I've never seen the phrase "short cutting" used. I mention this to help with finding references. – Mr. Lance E Sloan Oct 28 '16 at 16:42
-3

The examples in the answer by Shawn J. Goff are correct, but the explanation is the other way around. Please check:

The right side of && will only be evaluated if the exit status of the left side is NONZERO. || is the opposite: it will evaluate the right side only if the left side exit status is ZERO.

techraf
  • 5,941
Try2Help
  • 1
  • 3
    You are aware that for shells zero exit code evaluates to true and thus nonzero exit code on the left side of && results in the whole expression to return false? – countermode Sep 29 '16 at 15:25
  • 1
    Someone did not approve your edits because it was not your answer. If you think that some answer is incorrect you should downvote it and possibly leave a comment; if you think that it requires a change, you should leave a comment. Editing is for correcting grammar, formatting, and spelling mistakes that do not change the meaning of the answer. – techraf Sep 29 '16 at 15:41
  • 1
    @countermode I'm sorry, you are right, I thought in Linux zero = false and nonzero = true (like in C and many other languages/environments/platforms). I apologize for the misunderstanding. – Try2Help Oct 05 '16 at 10:16