Dotaz: set -e v bash

[danfiala]

Ahoj. Narazil jsem na chovani bash, kteremu nerozumim.

Skriptik:

#!/bin/bash

set -e
echo xxx | false
echo $?

skonci na prikazu s pipkou, ale skriptik:

#!/bin/bash

set -e
echo xxx | { false; }
echo $?

mi normalne projde. Netusite, proc je to tak? Domnival jsem se, ze oba skriptiky maji skoncit na prikazu s pipe.

Experimentoval jsem pod ubuntu 7.10 a pod debian etch.

Moc dekuji, :;DF

Odpovědi

[Jan Šimák]

http://tldp.org/LDP/abs/html/options.html#OPTIONSREF