Handle .desktop files with spaces in filename (rhbz#520920)

- thanks to Edward Sheldrake

diff --git a/scripts/desktop-file.prov b/scripts/desktop-file.prov
index ead3c13..abb79f9 100755 (executable)
--- a/scripts/desktop-file.prov
+++ b/scripts/desktop-file.prov
@@ -9,7 +9,7 @@ OLD_IFS="$IFS"
 while read instfile ; do
        case "$instfile" in
        *.desktop)
-               mime=`cat $instfile | grep MimeType= | cut -d'=' -f2`
+               mime=`cat "$instfile" | grep MimeType= | cut -d'=' -f2`
                 IFS=';'
                for type in $mime ; do
                        echo 'mimehandler('$type')'