From: Petter Reinholdtsen Date: Sun, 5 Jun 2016 07:28:00 +0000 (+0200) Subject: Generated. X-Git-Url: https://pere.pagekite.me/gitweb/homepage.git/commitdiff_plain/df9f4bb26083e3b0b04e403d5c0299eac88af0dd?ds=sidebyside Generated. --- diff --git a/blog/A_program_should_be_able_to_open_its_own_files_on_Linux.html b/blog/A_program_should_be_able_to_open_its_own_files_on_Linux.html index 95fbe09feb..2bd19a7d6f 100644 --- a/blog/A_program_should_be_able_to_open_its_own_files_on_Linux.html +++ b/blog/A_program_should_be_able_to_open_its_own_files_on_Linux.html @@ -49,7 +49,7 @@ while back I discovered that the screencast recorder gtk-recordmydesktop would save an Ogg Theora video file the KDE file browser would refuse to open. No video player claimed to understand such file. I tracked down the cause being file --mime-type -returning the application/ogg mime type, which no video player I had +returning the application/ogg MIME type, which no video player I had installed listed as a MIME type they would understand. I asked for file to change its behavour and use the MIME type video/ogg instead. I also asked @@ -70,8 +70,8 @@ from the file browser, here are some notes on how to fix it.

The file browsers in Debian in general operates on MIME types. There are two sources for the MIME type of a given file. The output from file --mime-type mentioned above, and the content of the -shared MIME type registry (under /usr/share/mime/). The file mime -type is mapped to programs supporting the mime type, and this +shared MIME type registry (under /usr/share/mime/). The file MIME +type is mapped to programs supporting the MIME type, and this information is collected from the desktop files available in /usr/share/applications/. If there is @@ -79,10 +79,10 @@ one desktop file claiming support for the MIME type of the file, it is activated when asking to open a given file. If there are more, one can normally select which one to use by right-clicking on the file and selecting the wanted one using 'Open with' or similar. In general -this work well. But it depend on each program picking a good mime +this work well. But it depend on each program picking a good MIME type (preferably a -MIME type registered with IANA), file and/or the shared mime +MIME type registered with IANA), file and/or the shared MIME registry recognizing the file and the desktop file to list the MIME type in its list of supported MIME types.

diff --git a/blog/archive/2016/06/06.rss b/blog/archive/2016/06/06.rss index e5c4077b8f..3c2293b7eb 100644 --- a/blog/archive/2016/06/06.rss +++ b/blog/archive/2016/06/06.rss @@ -38,7 +38,7 @@ while back I discovered that the screencast recorder gtk-recordmydesktop would save an Ogg Theora video file the KDE file browser would refuse to open. No video player claimed to understand such file. I tracked down the cause being <tt>file --mime-type</tt> -returning the application/ogg mime type, which no video player I had +returning the application/ogg MIME type, which no video player I had installed listed as a MIME type they would understand. I asked for <a href="http://bugs.gw.com/view.php?id=382">file to change its behavour</a> and use the MIME type video/ogg instead. I also asked @@ -59,8 +59,8 @@ from the file browser, here are some notes on how to fix it.</p> <p>The file browsers in Debian in general operates on MIME types. There are two sources for the MIME type of a given file. The output from <tt>file --mime-type</tt> mentioned above, and the content of the -shared MIME type registry (under /usr/share/mime/). The file mime -type is mapped to programs supporting the mime type, and this +shared MIME type registry (under /usr/share/mime/). The file MIME +type is mapped to programs supporting the MIME type, and this information is collected from <a href="https://www.freedesktop.org/wiki/Specifications/desktop-entry-spec/">the desktop files</a> available in /usr/share/applications/. If there is @@ -68,10 +68,10 @@ one desktop file claiming support for the MIME type of the file, it is activated when asking to open a given file. If there are more, one can normally select which one to use by right-clicking on the file and selecting the wanted one using 'Open with' or similar. In general -this work well. But it depend on each program picking a good mime +this work well. But it depend on each program picking a good MIME type (preferably <a href="http://www.iana.org/assignments/media-types/media-types.xhtml">a -MIME type registered with IANA</a>), file and/or the shared mime +MIME type registered with IANA</a>), file and/or the shared MIME registry recognizing the file and the desktop file to list the MIME type in its list of supported MIME types.</p> diff --git a/blog/archive/2016/06/index.html b/blog/archive/2016/06/index.html index e6377b0930..e36e82734a 100644 --- a/blog/archive/2016/06/index.html +++ b/blog/archive/2016/06/index.html @@ -56,7 +56,7 @@ while back I discovered that the screencast recorder gtk-recordmydesktop would save an Ogg Theora video file the KDE file browser would refuse to open. No video player claimed to understand such file. I tracked down the cause being file --mime-type -returning the application/ogg mime type, which no video player I had +returning the application/ogg MIME type, which no video player I had installed listed as a MIME type they would understand. I asked for file to change its behavour and use the MIME type video/ogg instead. I also asked @@ -77,8 +77,8 @@ from the file browser, here are some notes on how to fix it.

The file browsers in Debian in general operates on MIME types. There are two sources for the MIME type of a given file. The output from file --mime-type mentioned above, and the content of the -shared MIME type registry (under /usr/share/mime/). The file mime -type is mapped to programs supporting the mime type, and this +shared MIME type registry (under /usr/share/mime/). The file MIME +type is mapped to programs supporting the MIME type, and this information is collected from the desktop files available in /usr/share/applications/. If there is @@ -86,10 +86,10 @@ one desktop file claiming support for the MIME type of the file, it is activated when asking to open a given file. If there are more, one can normally select which one to use by right-clicking on the file and selecting the wanted one using 'Open with' or similar. In general -this work well. But it depend on each program picking a good mime +this work well. But it depend on each program picking a good MIME type (preferably a -MIME type registered with IANA), file and/or the shared mime +MIME type registered with IANA), file and/or the shared MIME registry recognizing the file and the desktop file to list the MIME type in its list of supported MIME types.

diff --git a/blog/index.html b/blog/index.html index 4638eb25ac..87ae0ab551 100644 --- a/blog/index.html +++ b/blog/index.html @@ -49,7 +49,7 @@ while back I discovered that the screencast recorder gtk-recordmydesktop would save an Ogg Theora video file the KDE file browser would refuse to open. No video player claimed to understand such file. I tracked down the cause being file --mime-type -returning the application/ogg mime type, which no video player I had +returning the application/ogg MIME type, which no video player I had installed listed as a MIME type they would understand. I asked for file to change its behavour and use the MIME type video/ogg instead. I also asked @@ -70,8 +70,8 @@ from the file browser, here are some notes on how to fix it.

The file browsers in Debian in general operates on MIME types. There are two sources for the MIME type of a given file. The output from file --mime-type mentioned above, and the content of the -shared MIME type registry (under /usr/share/mime/). The file mime -type is mapped to programs supporting the mime type, and this +shared MIME type registry (under /usr/share/mime/). The file MIME +type is mapped to programs supporting the MIME type, and this information is collected from the desktop files available in /usr/share/applications/. If there is @@ -79,10 +79,10 @@ one desktop file claiming support for the MIME type of the file, it is activated when asking to open a given file. If there are more, one can normally select which one to use by right-clicking on the file and selecting the wanted one using 'Open with' or similar. In general -this work well. But it depend on each program picking a good mime +this work well. But it depend on each program picking a good MIME type (preferably a -MIME type registered with IANA), file and/or the shared mime +MIME type registered with IANA), file and/or the shared MIME registry recognizing the file and the desktop file to list the MIME type in its list of supported MIME types.

diff --git a/blog/index.rss b/blog/index.rss index 325f4dc2ab..762fc9ffb6 100644 --- a/blog/index.rss +++ b/blog/index.rss @@ -38,7 +38,7 @@ while back I discovered that the screencast recorder gtk-recordmydesktop would save an Ogg Theora video file the KDE file browser would refuse to open. No video player claimed to understand such file. I tracked down the cause being <tt>file --mime-type</tt> -returning the application/ogg mime type, which no video player I had +returning the application/ogg MIME type, which no video player I had installed listed as a MIME type they would understand. I asked for <a href="http://bugs.gw.com/view.php?id=382">file to change its behavour</a> and use the MIME type video/ogg instead. I also asked @@ -59,8 +59,8 @@ from the file browser, here are some notes on how to fix it.</p> <p>The file browsers in Debian in general operates on MIME types. There are two sources for the MIME type of a given file. The output from <tt>file --mime-type</tt> mentioned above, and the content of the -shared MIME type registry (under /usr/share/mime/). The file mime -type is mapped to programs supporting the mime type, and this +shared MIME type registry (under /usr/share/mime/). The file MIME +type is mapped to programs supporting the MIME type, and this information is collected from <a href="https://www.freedesktop.org/wiki/Specifications/desktop-entry-spec/">the desktop files</a> available in /usr/share/applications/. If there is @@ -68,10 +68,10 @@ one desktop file claiming support for the MIME type of the file, it is activated when asking to open a given file. If there are more, one can normally select which one to use by right-clicking on the file and selecting the wanted one using 'Open with' or similar. In general -this work well. But it depend on each program picking a good mime +this work well. But it depend on each program picking a good MIME type (preferably <a href="http://www.iana.org/assignments/media-types/media-types.xhtml">a -MIME type registered with IANA</a>), file and/or the shared mime +MIME type registered with IANA</a>), file and/or the shared MIME registry recognizing the file and the desktop file to list the MIME type in its list of supported MIME types.</p> diff --git a/blog/tags/debian/debian.rss b/blog/tags/debian/debian.rss index 1976af77eb..ea95bac69d 100644 --- a/blog/tags/debian/debian.rss +++ b/blog/tags/debian/debian.rss @@ -38,7 +38,7 @@ while back I discovered that the screencast recorder gtk-recordmydesktop would save an Ogg Theora video file the KDE file browser would refuse to open. No video player claimed to understand such file. I tracked down the cause being <tt>file --mime-type</tt> -returning the application/ogg mime type, which no video player I had +returning the application/ogg MIME type, which no video player I had installed listed as a MIME type they would understand. I asked for <a href="http://bugs.gw.com/view.php?id=382">file to change its behavour</a> and use the MIME type video/ogg instead. I also asked @@ -59,8 +59,8 @@ from the file browser, here are some notes on how to fix it.</p> <p>The file browsers in Debian in general operates on MIME types. There are two sources for the MIME type of a given file. The output from <tt>file --mime-type</tt> mentioned above, and the content of the -shared MIME type registry (under /usr/share/mime/). The file mime -type is mapped to programs supporting the mime type, and this +shared MIME type registry (under /usr/share/mime/). The file MIME +type is mapped to programs supporting the MIME type, and this information is collected from <a href="https://www.freedesktop.org/wiki/Specifications/desktop-entry-spec/">the desktop files</a> available in /usr/share/applications/. If there is @@ -68,10 +68,10 @@ one desktop file claiming support for the MIME type of the file, it is activated when asking to open a given file. If there are more, one can normally select which one to use by right-clicking on the file and selecting the wanted one using 'Open with' or similar. In general -this work well. But it depend on each program picking a good mime +this work well. But it depend on each program picking a good MIME type (preferably <a href="http://www.iana.org/assignments/media-types/media-types.xhtml">a -MIME type registered with IANA</a>), file and/or the shared mime +MIME type registered with IANA</a>), file and/or the shared MIME registry recognizing the file and the desktop file to list the MIME type in its list of supported MIME types.</p> diff --git a/blog/tags/debian/index.html b/blog/tags/debian/index.html index 3616f61156..fe4965b000 100644 --- a/blog/tags/debian/index.html +++ b/blog/tags/debian/index.html @@ -55,7 +55,7 @@ while back I discovered that the screencast recorder gtk-recordmydesktop would save an Ogg Theora video file the KDE file browser would refuse to open. No video player claimed to understand such file. I tracked down the cause being file --mime-type -returning the application/ogg mime type, which no video player I had +returning the application/ogg MIME type, which no video player I had installed listed as a MIME type they would understand. I asked for file to change its behavour and use the MIME type video/ogg instead. I also asked @@ -76,8 +76,8 @@ from the file browser, here are some notes on how to fix it.

The file browsers in Debian in general operates on MIME types. There are two sources for the MIME type of a given file. The output from file --mime-type mentioned above, and the content of the -shared MIME type registry (under /usr/share/mime/). The file mime -type is mapped to programs supporting the mime type, and this +shared MIME type registry (under /usr/share/mime/). The file MIME +type is mapped to programs supporting the MIME type, and this information is collected from the desktop files available in /usr/share/applications/. If there is @@ -85,10 +85,10 @@ one desktop file claiming support for the MIME type of the file, it is activated when asking to open a given file. If there are more, one can normally select which one to use by right-clicking on the file and selecting the wanted one using 'Open with' or similar. In general -this work well. But it depend on each program picking a good mime +this work well. But it depend on each program picking a good MIME type (preferably a -MIME type registered with IANA), file and/or the shared mime +MIME type registered with IANA), file and/or the shared MIME registry recognizing the file and the desktop file to list the MIME type in its list of supported MIME types.

diff --git a/blog/tags/english/english.rss b/blog/tags/english/english.rss index 8851bf89e7..ce3b55ba91 100644 --- a/blog/tags/english/english.rss +++ b/blog/tags/english/english.rss @@ -38,7 +38,7 @@ while back I discovered that the screencast recorder gtk-recordmydesktop would save an Ogg Theora video file the KDE file browser would refuse to open. No video player claimed to understand such file. I tracked down the cause being <tt>file --mime-type</tt> -returning the application/ogg mime type, which no video player I had +returning the application/ogg MIME type, which no video player I had installed listed as a MIME type they would understand. I asked for <a href="http://bugs.gw.com/view.php?id=382">file to change its behavour</a> and use the MIME type video/ogg instead. I also asked @@ -59,8 +59,8 @@ from the file browser, here are some notes on how to fix it.</p> <p>The file browsers in Debian in general operates on MIME types. There are two sources for the MIME type of a given file. The output from <tt>file --mime-type</tt> mentioned above, and the content of the -shared MIME type registry (under /usr/share/mime/). The file mime -type is mapped to programs supporting the mime type, and this +shared MIME type registry (under /usr/share/mime/). The file MIME +type is mapped to programs supporting the MIME type, and this information is collected from <a href="https://www.freedesktop.org/wiki/Specifications/desktop-entry-spec/">the desktop files</a> available in /usr/share/applications/. If there is @@ -68,10 +68,10 @@ one desktop file claiming support for the MIME type of the file, it is activated when asking to open a given file. If there are more, one can normally select which one to use by right-clicking on the file and selecting the wanted one using 'Open with' or similar. In general -this work well. But it depend on each program picking a good mime +this work well. But it depend on each program picking a good MIME type (preferably <a href="http://www.iana.org/assignments/media-types/media-types.xhtml">a -MIME type registered with IANA</a>), file and/or the shared mime +MIME type registered with IANA</a>), file and/or the shared MIME registry recognizing the file and the desktop file to list the MIME type in its list of supported MIME types.</p> diff --git a/blog/tags/english/index.html b/blog/tags/english/index.html index bf8d37c53b..86619ec4f8 100644 --- a/blog/tags/english/index.html +++ b/blog/tags/english/index.html @@ -55,7 +55,7 @@ while back I discovered that the screencast recorder gtk-recordmydesktop would save an Ogg Theora video file the KDE file browser would refuse to open. No video player claimed to understand such file. I tracked down the cause being file --mime-type -returning the application/ogg mime type, which no video player I had +returning the application/ogg MIME type, which no video player I had installed listed as a MIME type they would understand. I asked for file to change its behavour and use the MIME type video/ogg instead. I also asked @@ -76,8 +76,8 @@ from the file browser, here are some notes on how to fix it.

The file browsers in Debian in general operates on MIME types. There are two sources for the MIME type of a given file. The output from file --mime-type mentioned above, and the content of the -shared MIME type registry (under /usr/share/mime/). The file mime -type is mapped to programs supporting the mime type, and this +shared MIME type registry (under /usr/share/mime/). The file MIME +type is mapped to programs supporting the MIME type, and this information is collected from the desktop files available in /usr/share/applications/. If there is @@ -85,10 +85,10 @@ one desktop file claiming support for the MIME type of the file, it is activated when asking to open a given file. If there are more, one can normally select which one to use by right-clicking on the file and selecting the wanted one using 'Open with' or similar. In general -this work well. But it depend on each program picking a good mime +this work well. But it depend on each program picking a good MIME type (preferably a -MIME type registered with IANA), file and/or the shared mime +MIME type registered with IANA), file and/or the shared MIME registry recognizing the file and the desktop file to list the MIME type in its list of supported MIME types.