chiark / gitweb /
Shell bug: avoid local=$(....) as it defeats set -e