diff options
| author | Bastien Nocera <hadess@hadess.net> | 2015-02-18 10:37:36 +0100 |
|---|---|---|
| committer | Bastien Nocera <hadess@hadess.net> | 2015-02-18 10:38:11 +0100 |
| commit | 824cff3da0f17812715795f0e64a47f7331a338b (patch) | |
| tree | cc2fa9f45a05038b63ac4cce215ade21d08cb0ca | |
| parent | 052b7d7d73207bea8f623d0bdb108082e956d6bb (diff) | |
Bump priority for ISO images glob matching
To work-around file managers that cannot use magic to differentiate
mime-types.
https://bugs.freedesktop.org/show_bug.cgi?id=80877
| -rw-r--r-- | freedesktop.org.xml.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/freedesktop.org.xml.in b/freedesktop.org.xml.in index 64f34b9..59e399c 100644 --- a/freedesktop.org.xml.in +++ b/freedesktop.org.xml.in @@ -1515,7 +1515,7 @@ command to generate the output files. <sub-class-of type="application/x-raw-disk-image"/> <alias type="application/x-iso9660-image"/> <!-- No magic, see https://bugs.freedesktop.org/show_bug.cgi?id=10049 --> - <glob pattern="*.iso"/> + <glob pattern="*.iso" weight="80"/> <glob pattern="*.iso9660"/> </mime-type> <mime-type type="application/x-cdrdao-toc"> |