From 7b145b5faecd1a1e7ad5d3e5d6c611da91f04c5c Mon Sep 17 00:00:00 2001 From: Shivam Mathur Date: Mon, 20 Sep 2021 05:26:43 +0530 Subject: [PATCH] Add fileinfo extension with phpdoc Add aliases for phpdoc --- src/scripts/tools/add_tools.ps1 | 3 +++ src/scripts/tools/add_tools.sh | 3 +++ 2 files changed, 6 insertions(+) diff --git a/src/scripts/tools/add_tools.ps1 b/src/scripts/tools/add_tools.ps1 index 9f4fa8908..48b7e27ee 100644 --- a/src/scripts/tools/add_tools.ps1 +++ b/src/scripts/tools/add_tools.ps1 @@ -15,6 +15,9 @@ Function Add-ToolsHelper() { Add-Extension ast >$null 2>&1 } elseif($tool -eq "phive") { Add-Extension xml >$null 2>&1 + } elseif($tool -eq "phpDocumentor") { + Add-Extension fileinfo >$null 2>&1 + Copy-Item $bin_dir\phpDocumentor.bat -Destination $bin_dir\phpdoc.bat } elseif($tool -eq "symfony-cli") { Add-ToProfile $current_profile "symfony" "New-Alias symfony $bin_dir\symfony-cli.exe" Add-ToProfile $current_profile "symfony_cli" "New-Alias symfony-cli $bin_dir\symfony-cli.exe" diff --git a/src/scripts/tools/add_tools.sh b/src/scripts/tools/add_tools.sh index 07dfd0ab7..b19fe2f2d 100644 --- a/src/scripts/tools/add_tools.sh +++ b/src/scripts/tools/add_tools.sh @@ -14,6 +14,9 @@ add_tools_helper() { add_extension curl extension >/dev/null 2>&1 add_extension mbstring extension >/dev/null 2>&1 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:?}"/phpdoc elif [[ "$tool" =~ (symfony|vapor|wp)-cli ]]; then sudo ln -s "${tool_path:?}" "${tool_path_dir:?}"/${tool%-*} fi