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 <[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.
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
signature.asc
Description: PGP signature
