On 03/04/2009, at 19.04, Steffen Moeller wrote:
I personally think that we should not rename it. And putty's plink
should not be renamed
either. The two are in a technical conflict, though with little
practical consequences. To
me, this situation is preferable over the renaning of the binary of
either.
Couldn't this be handled by the alternatives system?
Another possibility would be to use "author_progname" (==
purcell_plink) or possibly "genome_plink" to resolve the conflict. It
is informative to those with knowledge about the program suite and
nonobtrusive to anyone else.
Renaming _will_ break scripts but that is simple to fix... with a
script :-)
Cheers,
Morten
--
Morten Kjeldgaard <m...@ubuntu.com>
Ubuntu MOTU Developer
GPG Key ID: 404825E7
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
