F-Droid bugfixes (#73, #74, #75) + UI tweak

2025-10-25 03:43:46 +02:00 · 2022-10-29 22:57:21 -04:00
parent 27ee6b9e88
commit 9ef26b3a4a
5 changed files with 37 additions and 15 deletions
--- a/lib/providers/source_provider.dart
+++ b/lib/providers/source_provider.dart
@@ -104,6 +104,11 @@ preStandardizeUrl(String url) {
  if (url.toLowerCase().indexOf('https://www.') == 0) {
    url = 'https://${url.substring(12)}';
  }
+  url = url
+      .split('/')
+      .where((e) => e.isNotEmpty)
+      .join('/')
+      .replaceFirst(':/', '://');
  return url;
 }