Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 230840 - File collision: dev-tex/mpm-2.7.2960 and media-sound/mpc-0.12.0 install /usr/bin/mpc
Summary: File collision: dev-tex/mpm-2.7.2960 and media-sound/mpc-0.12.0 install /usr/...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High normal (vote)
Assignee: TeX project
URL: https://sourceforge.net/tracker/index...
Whiteboard:
Keywords:
: 230843 (view as bug list)
Depends on:
Blocks:
 
Reported: 2008-07-05 11:41 UTC by Daniel Schömer
Modified: 2008-07-12 09:09 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 Daniel Schömer 2008-07-05 11:41:29 UTC
File collision when installing dev-tex/mpm-2.7.2960 while media-sound/mpc-0.12.0 is installed. Both ebuilds install /usr/bin/mpc. Minor priority, since dev-tex/mpm-2.7.2960 is ~x86.

Reproducible: Always

Steps to Reproduce:
1. emerge -1 =media-sound/mpc-0.12.0
2. ACCEPT_KEYWORDS='~x86' emerge -1 =dev-tex/mpm-2.7.2960

Actual Results:  
dev-tex/mpm-2.7.2960 compiles find, but is not installed:

[...]
* checking 64 files for package collisions
 * This package will overwrite one or more files that may belong to other
 * packages (see list below). [...]
 * package dev-tex/mpm-2.7.2960 NOT merged
 * 
 * Detected file collision(s):
 * 
 *      /usr/bin/mpc
 * 
 * Searching all installed packages for file collisions... [...]
 *
 * media-sound/mpc-0.12.0
 *      /usr/bin/mpc

Expected Results:  
dev-tex/mpm-2.7.2960 should be installed.
Comment 1 Daniel Schömer 2008-07-05 11:46:15 UTC
*** Bug 230843 has been marked as a duplicate of this bug. ***
Comment 2 Christian Faulhammer (RETIRED) gentoo-dev 2008-07-12 06:38:22 UTC
mpm calls mpc itself and I will likely not patch the source to change that. Block?
Comment 3 Alexis Ballier gentoo-dev 2008-07-12 07:28:33 UTC
(In reply to comment #2)
> mpm calls mpc itself and I will likely not patch the source to change that.
> Block?

Probably the best idea for now. I don't think we can rename "media-sound/mpc" either, it's been known for ages under that name. Perhaps just drop a quick mail to mpm upstream so that we are sure they are aware of this and if they are kind enough they'll rename it ;)
Comment 4 Christian Faulhammer (RETIRED) gentoo-dev 2008-07-12 09:09:08 UTC
mpm blocks mpc now and I opened a bug on the upstream bug tracker of MiKTeX (see URL).  Closing.