On Tue, Feb 14, 2023 at 12:48:56PM -0700, Simon Glass wrote: > Hi Mark, > > On Fri, 10 Feb 2023 at 14:23, Mark Kettenis wrote: > > > > > From: Simon Glass > > > 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 > > > > 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. Downloading things from the internet and putting them in to the default PATH always and forever is also kinda not great? buildman --fetch-arch places things elsewhere and some sub directory of ~/.buildman-toolchains is less risky. -- Tom