Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#2883 - monodevelop.desktop in wrong location
Attached to Project:
Arch Linux
Opened by Robert MacCloy (zenned) - Sunday, 26 June 2005, 19:35 GMT
Last edited by Dale Blount (dale) - Sunday, 26 June 2005, 19:42 GMT
Opened by Robert MacCloy (zenned) - Sunday, 26 June 2005, 19:35 GMT
Last edited by Dale Blount (dale) - Sunday, 26 June 2005, 19:42 GMT
|
Detailsmonodevelop.desktop seems to install to /opt/mono/share/applications, which is not exported to $XDG_DATA_DIRS by default, and does not appear in the GNOME Applications menu.
The .desktop file (and accompanying /pixmaps, etc) should either be moved (to /opt/gnome/... ?), or the mono package should be modified to add /opt/mono/share to $XDG_DATA_DIRS. |
This task depends upon
Closed by Tobias Kieslich (tobias)
Monday, 18 July 2005, 10:09 GMT
Reason for closing: Fixed
Additional comments about closing: added to mono.sh - renamed file to mono.profile.d
The monodoc issue is solved by introducing mono-tools to the repo since the browser became part of this package without any official information, grmpf
Monday, 18 July 2005, 10:09 GMT
Reason for closing: Fixed
Additional comments about closing: added to mono.sh - renamed file to mono.profile.d
The monodoc issue is solved by introducing mono-tools to the repo since the browser became part of this package without any official information, grmpf
if [ ! -z $XDG_DATA_DIRS ]; then
export XDG_DATA_DIRS=$XDG_DATA_DIRS:/opt/mono/share
else
export XDG_DATA_DIRS=/opt/mono/share
fi
to /etc/profile.d/mono.sh will fix this, but I am unsure if this is the most correct way (monodoc seems to use ./configure --datadir=/opt/gnome/share, but monodoc.desktop is not present on my system at all!)