Another suggestion from #gnuradio was 'grapple'. M On 22 Dec 2015 15:12, "Neel Pandeya" <neel.pand...@ettus.com> wrote:
> My vote would be for one of these: > > GRPM = GnuRadio Package Manager > > GRAB = Gnu RAdio Basic installer > > GRBI = Gnu Radio Basic Installer > > I agree with Tim O'Shea, the name should be something short and > functional, and give an idea of what it does, instead of being cutesy and > contrived. > > --Neel > > > > > On 22 December 2015 at 12:10, Martin Braun <martin.br...@ettus.com> wrote: > >> There's been some demand to rename PyBOMBS, and now that we're >> re-releasing it, this is a good time to think about it. Complaints about >> the name include: >> >> - It may or may not be true that people have been detained by TSA for >> working on PyBOMBS at the airport[1] >> - The name suggests a Python-related packages (like Pylint, PyPI...) >> rather than a GNU Radio-related tool >> - People can't agree on a capitalization >> - No one can remember what the acronym stands for >> >> Sure, this is not a critical thing, but now's a good chance to bring it >> up and also, this is not a joke :) >> >> Here's how we're going to do this: >> >> - Please suggest new names in this thread. >> - I will choose from those names based on 'can I live with this name', >> 100% subjectively. >> - New names will be put up for a vote. This will include an option to >> keep the old name. >> - Finally, the result of the vote will be used as a strong suggestion on >> what the new name will be. >> >> There already have been some suggestions: >> >> - gromit -- the GNU Radio out-of-tree module installation tool >> - the groot >> - grpm -- the GNU Radio package manager >> >> >> OK guys, bring up the ideas! >> >> Cheers, >> Martin >> >> [1] It's not. >> >> _______________________________________________ >> Discuss-gnuradio mailing list >> Discuss-gnuradio@gnu.org >> https://lists.gnu.org/mailman/listinfo/discuss-gnuradio >> > >
_______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
