[devel] /bin/sh errexit semantics

[devel] /bin/sh errexit semantics

[Alexey Tourbin]

[-- Attachment #1: Type: text/plain, Size: 777 bytes --]

$ cat test.sh
#!/bin/sh -ef
func()
{
        false
        echo 'after false'
}
func || rc=$?
func
$ sh -efx test.sh
+ func
+ false
+ echo 'after false'
after false
+ func
+ false
$ 

Что здесь происходит: я написал функцию func() и хочу, чтобы она
исполнялась в режиме errexit.  Однако при вызове 'func || что-то'
функция не выполняется в режиме errexit.  Кажется, так ведут себя все
шеллы, а не только bash.

Чего я интуитивно хочу: чтобы при вызове 'func || что-то' функция func
отвалила бы на команде false, т.е. вернула бы статус false, а часть
"after false" выполняться не должна.  Почему я этого интуитивно хочу?
Если бы функция func() была отдельным исполняемым файлом (который
выполняется в режиме errexit), поведение было бы именно таким.

[-- Attachment #2: Type: application/pgp-signature, Size: 189 bytes --]

Re: [devel] /bin/sh errexit semantics

[Alexey Rusakov]

Alexey Tourbin wrote:
> $ cat test.sh
> #!/bin/sh -ef
> func()
> {
>         false
>         echo 'after false'
> }
> func || rc=$?
> func
> $ sh -efx test.sh
> + func
> + false
> + echo 'after false'
> after false
> + func
> + false
> $ 
>
> Что здесь происходит: я написал функцию func() и хочу, чтобы она
> исполнялась в режиме errexit.  Однако при вызове 'func || что-то'
> функция не выполняется в режиме errexit.  Кажется, так ведут себя все
> шеллы, а не только bash.
>
> Чего я интуитивно хочу: чтобы при вызове 'func || что-то' функция func
> отвалила бы на команде false, т.е. вернула бы статус false, а часть
> "after false" выполняться не должна.  Почему я этого интуитивно хочу?
> Если бы функция func() была отдельным исполняемым файлом (который
> выполняется в режиме errexit), поведение было бы именно таким
Ну, в манах по этому поводу сказано, что если команда является частью 
проверки условия, или её результат отрицается через !, или команда 
является частью выражения с || или &&, то семантика errexit не 
поддерживается. Я могу только посоветовать ставить хвосты "|| return $?" 
везде в функции, где может быть неудачное выполнение команды.

-- 
  Alexey "Ktirf" Rusakov

Re: [devel] /bin/sh errexit semantics

[Alexey Tourbin]

[-- Attachment #1: Type: text/plain, Size: 1272 bytes --]

On Fri, Apr 14, 2006 at 10:23:01PM +0400, Alexey Rusakov wrote:
> > Чего я интуитивно хочу: чтобы при вызове 'func || что-то' функция func
> > отвалила бы на команде false, т.е. вернула бы статус false, а часть
> > "after false" выполняться не должна.  Почему я этого интуитивно хочу?
> > Если бы функция func() была отдельным исполняемым файлом (который
> > выполняется в режиме errexit), поведение было бы именно таким
> Ну, в манах по этому поводу сказано, что если команда является частью 
> проверки условия, или её результат отрицается через !, или команда 
> является частью выражения с || или &&, то семантика errexit не 
> поддерживается. Я могу только посоветовать ставить хвосты "|| return $?" 
> везде в функции, где может быть неудачное выполнение команды.

Получается, что в errexit mode невозможно сделать wrapper для функции,
который проверяет код возврата этой функции.  Неконсистентно.  Напр. в
скрипте cmdcache используется такая конструкция:

	rc=0
	"$@" >out$$ || rc=$?
	if [ $rc -eq 0 ]; then
		сохранить в кеш out$$
	else
		удалить out$$
		return $rc
	fi

Поскольку errexit в таком случае не работает, "$@" скорее всего вернёт 0.
Если же убрать '|| rc=$?', то невозможно будет удалить out$$ в случае
ненулевого возврата.

[-- Attachment #2: Type: application/pgp-signature, Size: 189 bytes --]

Re: [devel] /bin/sh errexit semantics

[Alexey Rusakov]

Alexey Tourbin wrote:
> On Fri, Apr 14, 2006 at 10:23:01PM +0400, Alexey Rusakov wrote:
>   
>>> Чего я интуитивно хочу: чтобы при вызове 'func || что-то' функция func
>>> отвалила бы на команде false, т.е. вернула бы статус false, а часть
>>> "after false" выполняться не должна.  Почему я этого интуитивно хочу?
>>> Если бы функция func() была отдельным исполняемым файлом (который
>>> выполняется в режиме errexit), поведение было бы именно таким
>>>       
>> Ну, в манах по этому поводу сказано, что если команда является частью 
>> проверки условия, или её результат отрицается через !, или команда 
>> является частью выражения с || или &&, то семантика errexit не 
>> поддерживается. Я могу только посоветовать ставить хвосты "|| return $?" 
>> везде в функции, где может быть неудачное выполнение команды.
>>     
>
> Получается, что в errexit mode невозможно сделать wrapper для функции,
> который проверяет код возврата этой функции.  Неконсистентно.  Напр. в
> скрипте cmdcache используется такая конструкция:
>
> 	rc=0
> 	"$@" >out$$ || rc=$?
> 	if [ $rc -eq 0 ]; then
> 		сохранить в кеш out$$
> 	else
> 		удалить out$$
> 		return $rc
> 	fi
>
> Поскольку errexit в таком случае не работает, "$@" скорее всего вернёт 0.
> Если же убрать '|| rc=$?', то невозможно будет удалить out$$ в случае
> ненулевого возврата.
>   
А так?

"$@" >out$$ && :
rc=$?


-- 
  Alexey "Ktirf" Rusakov

Re: [devel] /bin/sh errexit semantics

[Alexey Tourbin]

[-- Attachment #1: Type: text/plain, Size: 1107 bytes --]

On Sat, Apr 15, 2006 at 12:13:53AM +0400, Alexey Rusakov wrote:
> > Получается, что в errexit mode невозможно сделать wrapper для функции,
> > который проверяет код возврата этой функции.  Неконсистентно.  Напр. в
> > скрипте cmdcache используется такая конструкция:
> >
> > 	rc=0
> > 	"$@" >out$$ || rc=$?
> > 	if [ $rc -eq 0 ]; then
> > 		сохранить в кеш out$$
> > 	else
> > 		удалить out$$
> > 		return $rc
> > 	fi
> >
> > Поскольку errexit в таком случае не работает, "$@" скорее всего вернёт 0.
> > Если же убрать '|| rc=$?', то невозможно будет удалить out$$ в случае
> > ненулевого возврата.
> >   
> А так?
> 
> "$@" >out$$ && :
> rc=$?

Вроде то же самое.  Я же хочу чтобы "$@" отвалил как будто в режиме
errexit, но не совсем отвалил, а вернул статус отвалившей команды.

#!/bin/sh -ef
func()
{       
        false
        echo 'after false'
}
func && :
func 


+ false
+ echo 'after false'
after false
+ :
+ func
+ false


Кажется, лучшее в некотром смысле, что здесь можно сделать, это отвалить
совсем (то есть "честный" errexit) и оставить out$$.

[-- Attachment #2: Type: application/pgp-signature, Size: 189 bytes --]