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

Remove workaround of Debian 12 in ppa.sh

Browse Source
This commit is contained in:
Shivam Mathur 2023-07-03 07:38:22 +05:30
parent 394503cb8a
commit 9c77701ae5
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/scripts/tools/ppa.sh
View File

@ -31,10 +31,6 @@ set_base_version() {
else
set_base_version_codename
set_base_version_id
# Remove once PPAs start having bookworm releases
[ "$VERSION_CODENAME" = 'bookworm' ] && VERSION_CODENAME="bullseye"
printf "ID=%s\nVERSION_ID=%s\nVERSION_CODENAME=%s\n" "$ID" "$VERSION_ID" "$VERSION_CODENAME" | tee /tmp/os-release >/dev/null 2>&1
fi
}