Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report.
Summary: Review Request: player - Cross-platform robot device interface and server Alias: player
https://bugzilla.redhat.com/show_bug.cgi?id=448025
------- Additional Comments From tibbs@math.uh.edu 2008-06-23 20:44 EST ------- FYI, here's a failing scratch build: http://koji.fedoraproject.org/koji/taskinfo?taskID=677252
We don't have any hard rules about renaming binaries; packages in the distro should not conflict with each other if at all possible (and should always do so explicitly) but nothing provides /usr/bin/player so there won't be any conflicts. It does, however, pay to be wary of things that might potentially conflict, and I don't think anyone would disagree that /usr/bin/player is a terribly generic name. So it's really up to the maintainer in this case.