I checked.  The following shell script does the trick:

#
mkdir /tmp/acme-$$
NAMESPACE=/tmp/acme-$$ acme "$@"




On Fri, Dec 13, 2013 at 11:31 AM, User & <ho...@awesom.eu> wrote:

> you may change $NAMESPACE, cf. intro(4)
>
> % mkdir /tmp/foo; NAMESPACE=/tmp/foo acme
>
>

Reply via email to