Re: [Discuss-gnuradio] Renaming PyBOMBS

[Tim O'Shea]

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 <address@hidden> wrote:

Also perhaps:

GRIN = Gnu Radio INstaller

On 22 December 2015 at 15:37, Martin Braun <address@hidden> wrote:

Another suggestion from #gnuradio was 'grapple'.

M

On 22 Dec 2015 15:12, "Neel Pandeya" <address@hidden> 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 <address@hidden> 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
address@hidden
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio

_______________________________________________
Discuss-gnuradio mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio

_______________________________________________
Discuss-gnuradio mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio