14 Feb
2023
14 Feb
'23
8:48 p.m.
Hi Mark,
On Fri, 10 Feb 2023 at 14:23, Mark Kettenis mark.kettenis@xs4all.nl wrote:
From: Simon Glass sjg@chromium.org Date: Fri, 10 Feb 2023 13:59:46 -0700
This is needed to download tools, but we may not need to do this. At present binman fails to start if HOME is not set.
Use the current directory as a default to avoid this.
Signed-off-by: Simon Glass sjg@chromium.org
Not new, but $HOME/bin seems like an *extremely* poor choice for a directory to download random binaries from the internet into as this directory is often part of a user's $PATH.
But isn't that the point? It is designed to bring in tools for use by the user.
Regards, Simon