|
@@ -975,8 +975,10 @@ install_mc_deb() {
|
|
|
# Add older repository for libwebkit2gtk-4.0-37, etc, on newer Debian/Ubuntu
|
|
# Add older repository for libwebkit2gtk-4.0-37, etc, on newer Debian/Ubuntu
|
|
|
local -i remove_temp_repo=0
|
|
local -i remove_temp_repo=0
|
|
|
if [[ "$ID" == "ubuntu" ]]; then
|
|
if [[ "$ID" == "ubuntu" ]]; then
|
|
|
|
|
+ debug "ID: $ID, VERSION_ID: $VERSION_ID"
|
|
|
local major_version="${VERSION_ID%%.*}"
|
|
local major_version="${VERSION_ID%%.*}"
|
|
|
local minor_version="${VERSION_ID##*.}"
|
|
local minor_version="${VERSION_ID##*.}"
|
|
|
|
|
+ debug "Major version: $major_version, Minor version: $minor_version"
|
|
|
if [[ $major_version -gt 24 || ($major_version == 24 && minor_version -ge 4) ]]; then
|
|
if [[ $major_version -gt 24 || ($major_version == 24 && minor_version -ge 4) ]]; then
|
|
|
echo "Temporarily adding jammy repository for libwebkit2gtk-4.0-37, etc."
|
|
echo "Temporarily adding jammy repository for libwebkit2gtk-4.0-37, etc."
|
|
|
remove_temp_repo=1
|
|
remove_temp_repo=1
|
