Hi Mark, On Fri, 10 Feb 2023 at 14:23, Mark Kettenis <[email protected]> wrote: > > > From: Simon Glass <[email protected]> > > 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 <[email protected]> > > 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
