diff options
author | Tom Willemse | 2014-01-21 22:55:20 +0100 |
---|---|---|
committer | Tom Willemse | 2014-01-21 22:55:20 +0100 |
commit | 6767deb6a27d0cee8132d4bec937e44cb7842312 (patch) | |
tree | 63759f5ca0bf4286e71d592821c0d4f58b348d92 | |
parent | 17ac6369162579208b037a542852f11d824ce48c (diff) | |
download | sti-6767deb6a27d0cee8132d4bec937e44cb7842312.tar.gz sti-6767deb6a27d0cee8132d4bec937e44cb7842312.zip |
Ensure the bin directory exists
-rwxr-xr-x | sti | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -88,6 +88,12 @@ function cmd_install () tool_name=$(basename $1 .git) tool_home="${data_home}/tools/${tool_name}" + # Ensure the bin directory exists. + if [[ ! -d "$bin_home" ]]; then + echo "Creating directory ${bin_home}" + mkdir -p "$bin_home" + fi + if [[ ! -d "$tool_home" ]]; then git clone $1 "$tool_home" cmd_reinit "$tool_name" |