Summary: | media-sound/grip-3.3.1-r3 : file collision with app-text/grip-4.2.0 | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
Component: | Current packages | Assignee: | Gentoo Sound Team <sound> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | bkohler, fordfrog, jesse |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: |
emerge-history.txt
media-sound:grip-3.3.1-r3:20160727-163837.log |
Description
Toralf Förster
2016-07-27 17:49:31 UTC
Created attachment 441742 [details]
emerge-history.txt
Created attachment 441744 [details]
media-sound:grip-3.3.1-r3:20160727-163837.log
Just bit by this today. Since the population using media-sound/grip is likely smaller, perhaps renaming "/usr/bin/grip" to "/usr/bin/audio-grip" would be the easiest course? Thanks. media-sound/grip has been around since 2005, while the first release of app-text/grip was late 2012. I think I will make a simple blocker since Toralf is the only person in the history of gentoo who has ever tried to install both apps on one system. If someone else notices and has a problem with this, I can rename the app-text/grip binary to something like grip-text. (In reply to Ben Kohler from comment #5) > I think I will make a simple blocker since Toralf is the only person in the > history of gentoo who has ever tried to install both apps on one system. > > If someone else notices and has a problem with this, I can rename the > app-text/grip binary to something like grip-text. that makes sense, i agree :-) Added mutual blocker |