exec 跟 source 差在哪？-- Shell十三问<第六问>

这次先让我们从 CU Shell 版的一个实例贴子来谈起吧：

例中的提问是：

cd /etc/aa/bb/cc 可以执行

但是把这条命令写入 shell 时 shell 不执行！这是什么原因呀！

我当时如何回答暂时别去深究，先让我们了解一下进程(process)的观念好了。首先，我们所执行的任何程序，都是由父进程(parent process)所产生出来的一个子进程(child process)，子进程在结束后，将返回到父进程去。此一现像在 Linux 系统中被称为 fork 。

当子进程被产生的时候，将会从父进程那里获得一定的资源分配、及(更重要的是)继承父进程的环境!

让我们回到上一章所谈到的"环境变量"吧：

所谓环境变量其实就是那些会传给子进程的变量。简单而言，"遗传性"就是区分本地变量与环境变量的决定性指标。

然而，从遗传的角度来看，我们也不难发现环境变量的另一个重要特征：

环境变量只能从父进程到子进程单向继承。换句话说：在子进程中的环境如何变更，均不会影响父进程的环境。

命令脚本(shell script)

接下来，再让我们了解一下命令脚本(shell script)的概念。

所谓的 shell script 讲起来很简单，就是将你平时在 shell prompt 后所输入的多行command line 依序写入一个文件去而已。

其中再加上一些条件判断、互动界面、参数运用、函数调用、等等技巧，得以让 script 更加"聪明"的执行，但若撇开这些技巧不谈，我们真的可以简单的看成 script 只不过依次执行预先写好的命令行而已。

再结合以上两个概念(process + script)，那应该就不难理解如下这句话的意思了：

正常来说，当我们执行一个 shell script 时，其实是先产生一个 sub-shell 的子进程，

然后 sub-shell 再去产生命令行的子进程。

然则，那让我们回到本章开始时所提到的例子再从新思考：

cd /etc/aa/bb/cc 可以执行

但是把这条命令写入 shell 时 shell 不执行！这是什么原因呀！

我当时的答案是这样的：

因为，一般我们跑的 shell script 是用 sub shell 去执行的。从 process 的观念来看，是 parent process 产生一个child process 去执行，当 child 结束后，会返回 parent ，但 parent 的环境是不会因 child 的改变而改变的。

所谓的环境元数很多，凡举 effective id, variable, workding dir 等等...

其中的 workding dir ($PWD) 正是楼主的疑问所在：

当用 sub shell 来跑 script 的话，sub shell 的 $PWD 会因为 cd 而变更，但当返回 primary shell 时，$PWD 是不会变更的。

能够了解问题的原因及其原理是很好的，但是？如何解决问题恐怕是我们更感兴趣的!是吧？那好，接下来，再让我们了解一下 source 命令好了。

source 概念

所谓 source 就是让 script 在当前 shell 内执行、而不是产生一个 sub-shell 来执行。

由于所有执行结果均于当前 shell 内完成，若 script 的环境有所改变，当然也会改变当前环境了!

因此，只要我们要将原本单独输入的 script 命令行变成 source 命令的参数，就可轻易解决前例提到的问题了。

比方说，原本我们是如此执行 script 的：

./my.script

现在改成这样即可：

source ./my.script

或：

. ./my.script

说到这里，我想，各位有兴趣看看 /etc 底下的众多设定文件，应该不难理解它们被定议后，如何让其它 script 读取并继承了吧？

若然，日后你有机会写自己的 script ，应也不难专门指定一个设定文件以供不同的 script。

到这里，若你搞得懂 fork 与 source 的不同，那接下来再接受一个挑战：

那 exec 又与 source/fork 有何不同呢？

哦... 要了解 exec 或许较为复杂，尤其扯上 File Descriptor 的话...

不过，简单来说：

exec 也是让 script 在同一个进程上执行，但是原有进程则被结束了。也就是简而言之：原有进程会否终止，就是 exec 与 source/fork 的最大差异了。

光是从理论去理解，或许没那么好消化，不如动手"实作+思考"来的印像深刻哦。

下面让我们写两个简单的 script ，分别命令为 1.sh 及 2.sh ：

1.sh

#!/bin/bash

A=B

echo "PID for 1.sh before exec/source/fork:$$"

export A

echo "1.sh: \$A is $A"

case $1 in

exec)

echo "using exec..."

exec ./2.sh ;;

source)

echo "using source..."

. ./2.sh ;;

*)

echo "using fork by default..."

./2.sh ;;

esac

echo "PID for 1.sh after exec/source/fork:$$"

echo "1.sh: \$A is $A"

2.sh

#!/bin/bash

echo "PID for 2.sh: $$"

echo "2.sh get \$A=$A from 1.sh"

A=C

export A

echo "2.sh: \$A is $A"

然后，分别跑如下参数来观察结果：

$ ./1.sh fork

$ ./1.sh source

$ ./1.sh exec

好了，别忘了仔细比较输出结果的不同及背后的原因哦...