shell trap не срабатывает

Использовать /bin/bash. Он есть в системе в любом случае.

bash не вариант по многим причинам. Я написал, что нужно именно dash

Попробуй без 'set -e' и подумай, почему так, и как с этим бороться.

без set -e работает, но его убирать нельзя. Почему так я не знаю, поэтому и задал опрос.

На самом деле исполнение trap в shell - действие отложенное, в отличие от обработки сигнала. sleep у тебя, получив SIGINT, завершается с ненулевым кодом, после чего скрипт при 'set -e' немедленно завершается, а выполняется ли при этом запланированный trap, зависит от реализации, в dash и posh - нет. Например, замени sleep на 'if sleep ; then : ; else exit ${?} ; fi'

а выполняется ли при этом запланированный trap, зависит от реализации

dash утверждает, что он POSIX-compliant. Почему это где-то работает, а где-то нет?

И на закуску: если в список сигналов добавить EXIT, то trap срабатывает, но ДВА раза. Первый раз реагируя на INT, второй раз - на EXIT. Без EXIT trap не срабатывает ни разу. Что это за магия?

Это же шелл, один из самых бестолковыхсуровых и беспосщадных ЯП. В общем, жуткое легаси и всё такое.

Тебе выше объяснили, как работает trap. Представь, что есть некий «стек» отложенных действий. без TRAP на EXIT set -e вызывает этот самый exit сразу после прерывания sleep, если стоит trap на сам exit, то дёргается этот самый «стек», откуда «выталкиваются» все неуспевшие сработать действия.

без TRAP на EXIT set -e вызывает этот самый exit сразу после прерывания sleep

понятно. Достаточно странная архитектура.