#!/bin/sh unset GPG_AGENT_INFO [ -x "$1" ] && exec $1 $2 exec ./asschk --no-echo -DGPGSM=${GPGSM} <"$1"