[gnome-boxes/gnome-3-38] installed-media: Make sure we support capitalized file extensions



commit 87680252c027db3e9c3de7529f22a48cf404499f
Author: Felipe Borges <felipeborges gnome org>
Date:   Thu Oct 15 11:24:03 2020 +0200

    installed-media: Make sure we support capitalized file extensions
    
    See #450

 src/installed-media.vala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/installed-media.vala b/src/installed-media.vala
index 3a730af3..49acf9a5 100644
--- a/src/installed-media.vala
+++ b/src/installed-media.vala
@@ -46,7 +46,7 @@ public InstalledMedia (string path, bool known_qcow2 = false) throws GLib.Error
             supported = true; // Let's assume it's device file in raw format
         else
             foreach (var extension in supported_extensions) {
-                supported = path.has_suffix (extension);
+                supported = path.down ().has_suffix (extension);
                 if (supported)
                     break;
             }


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]