Minor changes

2024-06-14 16:22:02 +02:00
parent 4a8641c6b3
commit e868a7ca53
3 changed files with 0 additions and 5 deletions
--- a/3
+++ b/3
@@ -811,9 +811,6 @@ wo_init() {
    ###

    if [ -z "$wo_travis" ]; then
-        if [ -f /etc/apt/preferences.d/MariaDB.pref ]; then
-            sed -i 's/sfo1.mirrors.digitalocean.com/mariadb.mirrors.ovh.net/' /etc/apt/preferences.d/MariaDB.pref >/dev/null 2>&1
-        fi
        if ! {
            apt-get update --allow-releaseinfo-change -qq >/dev/null 2>&1
        }; then