Re: [pacman-dev] [[ and set -E vs trap ERR] - the [[ $( ! type workaround