actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2024-11-22 20:01:06 +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:01:35 +05:30
parent 527cd148c8
commit fdfa901941
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/scripts/linux.sh
View File

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