mirror of
https://github.com/shivammathur/setup-php.git
synced 2024-11-22 20:01:06 +07:00
cleanup
This commit is contained in:
parent
f58dc6eca1
commit
6c93dbd391
@ -20,12 +20,6 @@ add_log() {
|
|||||||
update_ppa() {
|
update_ppa() {
|
||||||
if [ "$ppa_updated" = "false" ]; then
|
if [ "$ppa_updated" = "false" ]; then
|
||||||
sudo "$debconf_fix" apt-get update >/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"
|
ppa_updated="true"
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user