Bug#814149: add alternative for /usr/bin/dx

[Stuart Prescott]

On Wed, 10 Feb 2016 11:36:23 Hans-Christoph Steiner wrote:
> Seems to me that if y'all don't want to add an alternatives setup, then
> we'll just do a Conflicts.  All of the Android docs and tools just
> reference 'dx' so not providing 'dx' is not an option.  Plus in my 35
> years of using computers in dotcom startups, media and art, psychiatry,
> mobile and desktop app development, and digital security, I've never
> heard of OpenDX, so I think these two domains very rarely overlap.

Sorry, that's not the way filename conflicts are to be resolved. Quoting policy 
§10.1:

Two different packages must not install programs with different functionality 
but with the same filenames. (The case of two programs having the same 
functionality but different implementations is handled via "alternatives" or 
the "Conflicts" mechanism. See Maintainer Scripts, Section 3.9 and Conflicting 
binary packages - Conflicts, Section 7.4 respectively.) If this case happens, 
one of the programs must be renamed. The maintainers should report this to the 
debian-devel mailing list and try to find a consensus about which program will 
have to be renamed. If a consensus cannot be reached, both programs must be 
renamed. 

https://www.debian.org/doc/debian-policy/ch-files.html#s-binaries

Documentation can be patched as well as code.

cheers
Stuart

-- 
Stuart Prescott    http://www.nanonanonano.net/   stuart at nanonanonano.net
Debian Developer   http://www.debian.org/         stuart at debian.org
GPG fingerprint    90E2 D2C1 AD14 6A1B 7EBB 891D BBC1 7EBB 1396 F2F7