mirror of
https://github.com/shivammathur/setup-php.git
synced 2024-11-22 20:01:06 +07:00
Add lowercase alias for phpDocumentor on unix
This commit is contained in:
parent
e0dd9c9560
commit
87993cd853
@ -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%-*}
|
||||
|
Loading…
Reference in New Issue
Block a user