skwu@boulder.Colorado.EDU (WU SHI-KUEI) (10/25/89)
The command:
command || whatever
is entirely equivalent to:
if command
then
:
else
whatever
fi
If 'whatever' is more than one line, one can write:
command || {
whatever1
whatever2
. . .
}