On Fri, May 14, 2010 at 05:46, Ralf Treinen ralf.trei...@pps.jussieu.fr wrote:
There is some discussion around renaming 'grc' to 'gnuradio', but the
team is not yet decided.
What is the result of that discussion? The freeze is approaching, so I
guess we should come to a conclusion concerning
On Fri, May 14, 2010 at 12:45, Bdale Garbee bd...@gag.com wrote:
Johnathan, was there negativity to the change or just a lack of concern
about the issue because we though Conflicts would take care of it?
The latter.
Seems to me that making the change is the right solution.
Will probably do
On Fri, May 14, 2010 at 12:45, Bdale Garbee bd...@gag.com wrote:
Johnathan, was there negativity to the change or just a lack of concern
about the issue because we though Conflicts would take care of it?
Seems to me that making the change is the right solution.
This has been done upstream for
On Thu, Nov 19, 2009 at 01:54, Bdale Garbee bd...@gag.com wrote:
CC'ing gnuradio upstream in case it might make sense to rename
the /usr/bin/grc binary to something that won't conflict with binaries
delivered by the grc package in a future release.
There is some discussion around renaming
4 matches
Mail list logo