On Sun, Jun 30, 2019 at 02:02:47PM +0200, Antoine Jacoutot wrote:
> 
> Why not setting PORTHOME=${WRKDIST} by default for cargo ports?

Setting CARGO_HOME is enough for this purpose and should affect only
cargo. At opposite setting PORTHOME could have unwanted side-effects,
and we will not catch write attempt in HOME any more for such ports.

It is why I prefer using CARGO_HOME in environment when possible.

Thanks.
-- 
Sebastien Marie

Reply via email to