Create tool_path_dir if it does not exist

shivammathur · Sep 22, 2023 · 9102646 · 9102646
1 parent 7fdd3ec
commit 9102646
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/scripts/tools/add_tools.sh b/src/scripts/tools/add_tools.sh
@@ -130,6 +130,9 @@ add_tool() {
   tool=$2
   ver_param=$3
   tool_path="$tool_path_dir/$tool"
+  if ! [ -d "$tool_path_dir" ]; then
+    sudo mkdir -p "$tool_path_dir"
+  fi
   add_path "$tool_path_dir"
   if [ -e "$tool_path" ]; then
     sudo cp -aL "$tool_path" /tmp/"$tool"