| Subject: | /usr/bin/mason clashes with Mason firewall creation tool |
Hi,
Mason's /usr/bin/mason clashes with a binary of the same name installed
by Mason, the interactive Linux firewall creation tool (see e.g.
http://packages.debian.org/sid/mason). Since "the other mason" has been
around for over a decade while this Mason 2 is still relatively recent
(and /usr/bin/mason is mainly used for development, no?), I thought it
would perhaps be less problematic to rename it here rather than there.
Would you be open to change /usr/bin/mason to a different name, say
/usr/bin/mason2 or /usr/bin/mason-cli? We'll have to come up with a
different name for Debian anyway, but of course we'd much prefer to do
this together with you.
The Debian bug is http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=649066
Florian