和其他高级程序设计语言一样，Shell提供了用来控制程序执行流程的命令，包括条件分支和循环结构，用户可以用这些命令创建非常复杂的程序。
与传统语言不同的是，Shell用于指定条件值的不是布尔运算式，而是命令和字串。
1．测试命令
test命令用于检查某个条件是否成立，它可以进行数值、字符和文件3个方面的测试，其测试符和相应的功能分别如下。
（1）数值测试：
-eq 等于则为真。
-ne 不等于则为真。
-gt 大于则为真。
-ge 大于等于则为真。
-lt 小于则为真。
-le 小于等于则为真。
（2）字串测试：
= 等于则为真。
!= 不相等则为真。
-z字串 字串长度伪则为真。
-n字串 字串长度不伪则为真。
（3）文件测试：
-e文件名 如果文件存在则为真。
-r文件名 如果文件存在且可读则为真。
-w文件名 如果文件存在且可写则为真。
-x文件名 如果文件存在且可执行则为真。
-s文件名 如果文件存在且至少有一个字符则为真。
-d文件名 如果文件存在且为目录则为真。
-f文件名 如果文件存在且为普通文件则为真。
-c文件名 如果文件存在且为字符型特殊文件则为真。
-b文件名 如果文件存在且为块特殊文件则为真。
另外，Linux还提供了与（！）、或（-o）、非（-a）三个逻辑操作符，用于将测试条件连接起来，其优先顺序为：！最高，-a次之，-o最低。
同时，bash也能完成简单的算术运算，格式如下：
$[expression]
例如：
var1=2
var2=$[var1*10+1]
则var2的值为21。
2．if条件语句
Shell程序中的条件分支是通过if条件语句来实现的，其一般格式为：
if 条件命令串
then
条件为真时的命令串
else
条件为假时的命令串
fi
3．for循环
for循环对一个变量的可能的值都执行一个命令序列。赋给变量的几个数值既可以在程序内以数值列表的形式提供，也可以在程序以外以位置参数的形式提供。for循环的一般格式为：
for变量名 [in数值列表]
do
若干个命令行
done
变量名可以是用户选择的任何字串，如果变量名是var，则在in之后给出的数值将顺序替换循环命令列表中的$var。如果省略了in，则变量var的取值将是位置参数。对变量的每一个可能的赋值都将执行do和done之间的命令列表。
4．while和until循环
while和until命令都是用命令的返回状态值来控制循环的。While循环的一般格式为：
while
若干个命令行1
do
若干个命令行2
done
只要while的“若干个命令行1”中最后一个命令的返回状态为真，while循环就继续执行do...done之间的“若干个命令行2”。
until命令是另一种循环结构，它和while命令相似，其格式如下：
until
若干个命令行1
do
若干个命令行2
done
until循环和while循环的区别在于：while循环在条件为真时继续执行循环，而until则是在条件为假时继续执行循环。
Shell还提供了true和false两条命令用于创建无限循环结构，它们的返回状态分别是总为0或总为非0。
9．信号
trap命令用于在Shell程序中捕捉信号，之后可以有3种反应方式：
（1）执行一段程序来处理这一信号。
（2）接受信号的默认操作。
（3）忽视这一信号。
trap对上面3种方式提供了3种基本形式：
第一种形式的trap命令在Shell接收到与signal list清单中数值相同的信号时，将执行双引号中的命令串。
trap 'commands' signal-list
trap "commands" signal-list
为了恢复信号的默认操作，使用第二种形式的trap命令：
trap signal-list
第三种形式的trap命令允许忽略信号：
trap " " signal-list
注意：
（1）对信号11（段违例）不能捕捉，因为Shell本身需要捕捉该信号去进行内存的转储。
（2）在trap中可以定义对信号0的处理（实际上没有这个信号），Shell程序在其终止（如执行exit语句）时发出该信号。
（3）在捕捉到signal-list中指定的信号并执行完相应的命令之后，如果这些命令没有将Shell程序终止的话，Shell程序将继续执行收到信号时所执行的命令后面的命令，这样将很容易导致Shell程序无法终止。
另外，在trap语句中，单引号和双引号是不同的。当Shell程序第一次碰到trap语句时，将把commands中的命令扫描一遍。此时若 commands是用单引号括起来的话，那么Shell不会对commands中的变量和命令进行替换，否则commands中的变量和命令将用当时具体 的值来替换。
