diff --git a/src/configs/php_packages b/src/configs/php_packages new file mode 100644 index 00000000..aa072853 --- /dev/null +++ b/src/configs/php_packages @@ -0,0 +1,6 @@ +cli +curl +dev +intl +mbstring +xml diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh index 996ed977..59a300b2 100644 --- a/src/scripts/linux.sh +++ b/src/scripts/linux.sh @@ -128,7 +128,7 @@ switch_version() { add_packaged_php() { if [ "$runner" = "self-hosted" ] || [ "${use_package_cache:-true}" = "false" ]; then add_ppa ondrej/php >/dev/null 2>&1 || update_ppa ondrej/php - IFS=' ' read -r -a packages <<<"$(echo "cli curl dev mbstring xml intl" | sed "s/[^ ]*/php$version-&/g")" + IFS=' ' read -r -a packages <<<"$(sed "s/[^ ]*/php$version-&/g" "$dist"/../src/configs/php_packages | tr '\n' ' ')" install_packages "${packages[@]}" else run_script "php-ubuntu" "$version"