diff options
author | Vincent Untz <vuntz@gnome.org> | 2007-04-28 13:44:23 +0000 |
---|---|---|
committer | Vincent Untz <vuntz@gnome.org> | 2007-04-28 13:44:23 +0000 |
commit | 07091e8c03b7e9240ae6ec1f4dfe872e034d47b7 (patch) | |
tree | b4a2e949f0bdb29b9800b269dd21272ba3b5444e /desktop-entry | |
parent | 8f2cfbf0a08d270a5f3d8ed7ca49341b8bbfa174 (diff) |
desktop files of type Directory have a .directory extension right now (at
2007-04-28 Vincent Untz <vuntz@gnome.org>
* desktop-entry-spec.xml: desktop files of type Directory have a
.directory extension right now (at least in GNOME), but according to
the spec, this is wrong. The patch fixes this. Also, it removes a
small part of text explaining the name of a desktop file describing a
directory.
http://lists.freedesktop.org/archives/xdg/2007-March/009437.html
Diffstat (limited to 'desktop-entry')
-rw-r--r-- | desktop-entry/ChangeLog | 9 | ||||
-rw-r--r-- | desktop-entry/desktop-entry-spec.xml | 12 |
2 files changed, 15 insertions, 6 deletions
diff --git a/desktop-entry/ChangeLog b/desktop-entry/ChangeLog index 18e64dc..da220e1 100644 --- a/desktop-entry/ChangeLog +++ b/desktop-entry/ChangeLog @@ -1,5 +1,14 @@ 2007-04-28 Vincent Untz <vuntz@gnome.org> + * desktop-entry-spec.xml: desktop files of type Directory have a + .directory extension right now (at least in GNOME), but according to + the spec, this is wrong. The patch fixes this. Also, it removes a + small part of text explaining the name of a desktop file describing a + directory. + http://lists.freedesktop.org/archives/xdg/2007-March/009437.html + +2007-04-28 Vincent Untz <vuntz@gnome.org> + * desktop-entry-spec.xml:clarify a bit the text about keys that only makes sense in a specific context. Also, state that the keys should not be used outside of this context. For example, the URL key should diff --git a/desktop-entry/desktop-entry-spec.xml b/desktop-entry/desktop-entry-spec.xml index 73006a9..c9e28f6 100644 --- a/desktop-entry/desktop-entry-spec.xml +++ b/desktop-entry/desktop-entry-spec.xml @@ -70,13 +70,13 @@ <sect1 id="basic-format"> <title>Basic format of the file</title> <para> - These desktop entry files should have the extension - <filename>.desktop</filename>. Determining file type on basis of - extension makes determining the file type very easy and quick. + Desktop entry files should have the <filename>.desktop</filename> + extension, except for files of <varname>Type</varname> + <constant>Directory</constant> which should have the + <filename>.directory</filename> extension. Determining file type on basis + of extension makes determining the file type very easy and quick. When no file extension is present, the desktop system should - fall back to recognition via "magic detection". Desktop entries - which describe how a directory is to be formatted/displayed - should be simply called <filename>.directory</filename>. + fall back to recognition via "magic detection". </para> <para> Desktop entry files are encoded as lines of 8-bit characters separated |