From 87993cd85374e99bb0d641850057ac6b6a56a78a Mon Sep 17 00:00:00 2001 From: Shivam Mathur Date: Mon, 20 Sep 2021 06:23:13 +0530 Subject: [PATCH] Add lowercase alias for phpDocumentor on unix --- src/scripts/tools/add_tools.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/src/scripts/tools/add_tools.sh b/src/scripts/tools/add_tools.sh index b19fe2f2d..8d675cb8c 100644 --- a/src/scripts/tools/add_tools.sh +++ b/src/scripts/tools/add_tools.sh @@ -16,6 +16,7 @@ add_tools_helper() { add_extension xml extension >/dev/null 2>&1 elif [ "$tool" = "phpDocumentor" ]; then add_extension fileinfo extension >/dev/null 2>&1 + sudo ln -s "${tool_path:?}" "${tool_path_dir:?}"/phpdocumentor 2>/dev/null || true sudo ln -s "${tool_path:?}" "${tool_path_dir:?}"/phpdoc elif [[ "$tool" =~ (symfony|vapor|wp)-cli ]]; then sudo ln -s "${tool_path:?}" "${tool_path_dir:?}"/${tool%-*}