diff options
| author | Simon Glass <sjg@chromium.org> | 2023-02-22 22:14:48 +0300 |
|---|---|---|
| committer | Simon Glass <sjg@chromium.org> | 2023-03-08 22:40:49 +0300 |
| commit | 932e40d0b52242454be9a7773bd2323e12358b92 (patch) | |
| tree | 6352499f1a43d32121d98b23a786fd9631b6e782 | |
| parent | 00f674db2dacfb6c62e274b5f87e13b5c97aee97 (diff) | |
| download | u-boot-932e40d0b52242454be9a7773bd2323e12358b92.tar.xz | |
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 <sjg@chromium.org>
Reviewed-by: Tom Rini <trini@konsulko.com>
| -rw-r--r-- | tools/binman/binman.rst | 2 | ||||
| -rw-r--r-- | tools/binman/bintool.py | 2 |
2 files changed, 3 insertions, 1 deletions
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 <tool>` 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 |