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>
diff --git a/tools/binman/binman.rst b/tools/binman/binman.rst
index 8af23fd..9c2cd3c 100644
--- a/tools/binman/binman.rst
+++ b/tools/binman/binman.rst
@@ -1415,6 +1415,8 @@
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 302161f..6ca3d88 100644
--- a/tools/binman/bintool.py
+++ b/tools/binman/bintool.py
@@ -52,7 +52,7 @@
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