GNU bug report logs - #12932
24.2; Installing GNOME .desktop file to incorrect location

Previous Next

Full log

Message #18 received at 12932-done <at> debbugs.gnu.org (full text, mbox):

From: Stefan Monnier <monnier <at> iro.umontreal.ca>
To: Glenn Morris <rgm <at> gnu.org>
Cc: 12932-done <at> debbugs.gnu.org, markskilbeck <at> gmail.com
Subject: Re: bug#12932: 24.2; Installing GNOME .desktop file to incorrect
	location
Date: Mon, 19 Nov 2012 14:49:55 -0500

tags 12932 notabug
thanks

> 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).

Yes, tho I don't care if we should consider it as a bug in Gnome or what
else, but the behavior is correct.
If the user wants to install into /usr, then she should use "--prefix=/usr".


        Stefan

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.