On 23.12.2015 09:28, Stefan Wunsch wrote: > I don't want to destroy your idea, but GRAB sounds like CRAP as well and > you can think of the associated sentences ;)
'grab' is also a very common english verb, so I think people would be able to distinguish. It also sounds like 'crab' if you like :) M > > On 12/22/2015 09:31 PM, Richard Bell wrote: >> GRAB = Gnu RAdio Basic installer >> >> Then we can say things like "Go GRAB it" when referring to a needed module >> >> On Tue, Dec 22, 2015 at 12:10 PM, 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 >> > > _______________________________________________ > 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
