From 932e40d0b52242454be9a7773bd2323e12358b92 Mon Sep 17 00:00:00 2001 From: Simon Glass Date: Wed, 22 Feb 2023 12:14:48 -0700 Subject: [PATCH] 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 --- tools/binman/binman.rst | 2 ++ tools/binman/bintool.py | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) 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 -- 2.39.5