在这种情况下,您可以exec
使用管道。为了执行一系列流水线命令,外壳程序必须首先进行分叉,并创建一个子外壳程序。(具体来说,它必须先创建管道,然后创建派生,以便所有在管道“左侧”运行的东西都可以将其输出发送到管道“右侧”的任何内容。)
要查看实际上这是正在发生的情况,请比较:
{ ls; echo this too; } | cat
与:
{ exec ls; echo this too; } | cat
前者运行时ls
不会离开子外壳,因此该子外壳仍然可以运行echo
。后者ls
通过保留子外壳运行,因此不再在那里做子外壳echo
,并且this too
不进行打印。
(大括号的使用{ cmd1; cmd2; }
通常会抑制您在圆括号中得到的子壳分叉动作(cmd1; cmd2)
,但是对于管道,该分叉实际上是“强制的”。)
仅当单词后面没有“什么可以运行”时,才进行当前shell的重定向exec
。因此,例如exec >stdout 4<input 5>>append
修改当前的shell,但是exec foo >stdout 4<input 5>>append
尝试执行exec commandfoo
。[注意:这并非严格准确;见附录。]
有趣的是,在交互式外壳程序中,exec foo >output
由于没有命令而失败后foo
,外壳程序仍然存在,但stdout仍重定向到fileoutput
。(您可以使用恢复exec >/dev/tty
。在脚本中,无法exec foo
终止脚本。)
#! /bin/bash
shopt -s execfail
exec ls | cat -E
echo this goes to stdout
echo this goes to stderr 1>&2
(注意:cat -E
从我的平时简化了下来cat -vET
,这是我方便使用的“让我以可识别的方式查看非打印字符”)。运行此脚本时,来自的输出ls
已cat -E
应用(在Linux上,行尾显示为$符号),但是发送到stdout和stderr的输出(在其余两行上) 未 重定向。更改| cat -E
为> out
,在脚本运行后,观察文件的内容out
:最后两个echo
不存在。
现在将更ls
改为foo
(或将找不到的其他命令),然后再次运行脚本。这次的输出是:
$ ./demo.sh
./demo.sh: line 3: exec: foo: not found
this goes to stderr
这使得exec
“真正做到的” 事情变得尽可能明显(但不再那么明显,因为爱因斯坦没有提出:-))。
通常,当外壳进入执行“简单的命令”(见手册页的精确定义,但此明确排除在“管道”的命令),它准备与指定的任何I / O重定向操作<
,>
等打开所需的文件。然后,shell调用fork
(或一些等效但效率更高的变体,例如vfork
或clone
取决于底层操作系统,配置等),并在子进程中重新排列打开的文件描述符(使用dup2
调用或等效方法)以实现所需的最终排列:> out
将打开描述符移动到fd 1(stdout),同时6> out
将打开描述符移动到fd 6。
exec
但是,如果指定关键字,则外壳程序将取消执行该fork
步骤。它照常进行所有文件打开和文件描述符重新排列,但是这次, 它影响所有后续命令 。最后,在完成所有重定向后execve()
,如果存在命令,shell尝试(从系统调用的角度)尝试命令。如果没有命令,或者execve()
调用失败, 并且shell应该继续运行(是交互式的或已设置execfail
),则shell士兵会继续前进。如果execve()
成功,则该外壳不再存在,已被新命令替换。如果execfail
未设置,并且外壳不是交互式的,则外壳退出。
(还增加了command_not_found_handle
shell函数的复杂性:bashexec
似乎根据测试结果禁止运行它。exec
通常,该关键字使shell不会查看其自身的函数,即,如果您有shell函数f,则f
作为a 运行简单命令会运行shell函数,就像(f)
在子shell中运行壳函数一样,但是运行会(exec f)
跳过它。)
至于为什么要ls>out1 ls>out2
创建两个文件(带或不带exec
),这很简单:shell打开每个重定向,然后使用它们dup2
来移动文件描述符。如果您有两个普通的>
重定向,则外壳程序将同时打开两个外壳,将第一个重定向到fd 1(stdout),然后将第二个重定向到fd 1(stdout),在此过程中关闭第一个。最终,它运行了ls ls
,因为删除了`>out1