GNU bug report logs -
#12932
24.2; Installing GNOME .desktop file to incorrect location
Previous Next
Reported by: markskilbeck <at> gmail.com
Date: Mon, 19 Nov 2012 16:56:01 UTC
Severity: minor
Tags: notabug
Found in version 24.2
Done: Stefan Monnier <monnier <at> iro.umontreal.ca>
Bug is archived. No further changes may be made.
Full log
Message #11 received at 12932 <at> debbugs.gnu.org (full text, mbox):
I guess we could add an explicit configure option for where the desktop
file will be installed ($desktopdir in current Makefile), and leave the
default as it is now. I doubt the option will see much use though.
But the freedesktop spec does mention (obliquely) /usr/local:
http://specifications.freedesktop.org/menu-spec/menu-spec-latest.html
Install Locations
If an application is intended to be installed by root on a system
wide basis then /usr/share is recommended to be used as value for
datadir and /etc/xdg is recommended to be used as value for
sysconfdir. In case the /usr/share hierarchy is not writable it is
recommended to use /usr/local/share as value for datadir instead.
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
So, again, it seems like a Gnome bug to me if it doesn't check in
/usr/local as well as /usr (I didn't check whether or not it actually does).
See also
http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html
If $XDG_DATA_DIRS is either not set or empty, a value equal to
/usr/local/share/:/usr/share/ should be used.
Maybe your XDG_DATA_DIRS is set wrongly?
Of course, this doesn't help people who install with --prefix != /usr/local
This bug report was last modified 12 years and 272 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.