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
No comments:
Post a Comment