Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 732376 - dev-ada/gps does not install desktop icon because it's not there
Summary: dev-ada/gps does not install desktop icon because it's not there
Status: RESOLVED OBSOLETE
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: AMD64 Linux
: Normal normal (vote)
Assignee: Gentoo Linux ADA team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-07-12 19:57 UTC by Ian Douglas
Modified: 2021-01-31 00:08 UTC (History)
2 users (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Ian Douglas 2020-07-12 19:57:33 UTC
hi

The ebuild tries to install a desktop icon:

make_desktop_entry "${PN}" "GPS" "${EPREFIX}/usr/share/gps/icons/hicolor/32x32/apps/gps_32.png" "Development;IDE;"

But gps_32.png does not exist, locate only finds old one from previous installation:

$ locate gps_32.png
/usr/gnat/share/gps/icons/dark/32px/gps_32.png
Comment 1 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2021-01-31 00:08:08 UTC
Package removed.