From: Simon Glass Date: Wed, 22 Feb 2023 19:14:48 +0000 (-0700) Subject: binman: Use a private directory for bintools X-Git-Url: http://git.dujemihanovic.xyz/img/static/git-logo.png?a=commitdiff_plain;h=932e40d0b52242454be9a7773bd2323e12358b92;p=u-boot.git binman: Use a private directory for bintools At present binman writes tools into the ~/bin directory. This is convenient but some may be concerned about downloading unverified binaries and running them. Place then in a special ~/.binman-tools directory instead. Mention this in the documentation. Signed-off-by: Simon Glass Reviewed-by: Tom Rini --- diff --git a/tools/binman/binman.rst b/tools/binman/binman.rst index 8af23fd0fa..9c2cd3c6d6 100644 --- a/tools/binman/binman.rst +++ b/tools/binman/binman.rst @@ -1415,6 +1415,8 @@ You can also use `--fetch all` to fetch all tools or `--fetch ` to fetch a particular tool. Some tools are built from source code, in which case you will need to have at least the `build-essential` and `git` packages installed. +Tools are fetched into the `~/.binman-tools` directory. + Bintool Documentation ===================== diff --git a/tools/binman/bintool.py b/tools/binman/bintool.py index 302161fcb4..6ca3d88620 100644 --- a/tools/binman/bintool.py +++ b/tools/binman/bintool.py @@ -52,7 +52,7 @@ class Bintool: missing_list = [] # Directory to store tools - tooldir = os.path.join(os.getenv('HOME'), 'bin') + tooldir = os.path.join(os.getenv('HOME'), '.binman-tools') def __init__(self, name, desc, version_regex=None, version_args='-V'): self.name = name