Cutesy acronym grumblings aside on this one, If all you wanted to do was install gnu radio, apt, rpm, our emerge would do. IMO pybombs seems more about indexing, installing, setting up development environments, and updating out of tree modules - "grin" implied scope is a small subset thereof
On Tue, Dec 22, 2015, 10:02 PM Neel Pandeya <neel.pand...@ettus.com> wrote: > Also perhaps: > > GRIN = Gnu Radio INstaller > > > > On 22 December 2015 at 15:37, Martin Braun <martin.br...@ettus.com> wrote: > >> 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 >> >> > _______________________________________________ > 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
