actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2024-11-22 11:51:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

Update all lists

Browse Source
This commit is contained in:
Shivam Mathur 2020-03-20 19:09:27 +05:30
parent 5326f2302f
commit f58dc6eca1
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/scripts/linux.sh
View File

@ -19,12 +19,13 @@ add_log() {
# Function to update php ppa
update_ppa() {
if [ "$ppa_updated" = "false" ]; then
if [[ "$version" =~ $old_versions ]]; then
ppa="dotdeb-ubuntu-php*.list"
else
ppa="ondrej-ubuntu-php*.list"
fi
find /etc/apt/sources.list.d -type f -name "$ppa" -exec sudo "$debconf_fix" apt-fast update -o Dir::Etc::sourcelist="{}" ';' >/dev/null 2>&1
sudo "$debconf_fix" apt-get update >/dev/null 2>&1
# if [[ "$version" =~ $old_versions ]]; then
# ppa="dotdeb-ubuntu-php*.list"
# else
# ppa="ondrej-ubuntu-php*.list"
# fi
# find /etc/apt/sources.list.d -type f -name "$ppa" -exec sudo "$debconf_fix" apt-fast update -o Dir::Etc::sourcelist="{}" ';' >/dev/null 2>&1
ppa_updated="true"
fi
}