On 1 August 2013 17:33, Laszlo Papp <lpapp at kde.org> wrote: >> I'm not sure what you meant here. Do you mean a situation where the >> local.conf says MACHINE=foo and the user also sets MACHINE=foo in the >> environment? > > Yes. But there's nothing wrong with the user doing that at all. Ross