Name our penguin! 🐧

[troglobit]

We have many great ideas for how to show off our fancy new Infix logo. Pins, decals, t-shirts, and more of course 😃

However, when we drafted it we never really got to name our RJ45 penguin. Our "ghost in the Ethernet port". Some of us have affectionately started calling him Blinky, since he lives in a slot of a product which is most happy when it blinks. Also as an homage to Blinky the ghost that Pac-Man chases around in the classic game.

[wkz]

--R2-D2-- R4-J5?

[troglobit]

--R2-D2-- R4-J5?

Not sure if anyone understands obscure movie references from the previous millennia. At least Pac-Man is a timeless classic 😉

[wkz]

I'm not opposed to "Binky", but to claim that it has more name recognition than "R2-D2" seems like a stretch 😉

[troglobit]

I said what I said. Also Star Trek rulez! 🖖

[Stekartaro]

My suggestion is: Finix!
Infix => Finix ≈ Pheonix
A Pheonix is a mytical, majestic, bird-creature - who's appearance some "wisemen" would say the Linux penguin also possess!
Also, a phoenix obtains new life by rising from the ashes of its predecessor: This could be applied to your IRL journey going from WeOS to Infix!

[troglobit]

Nice suggestion! Granted I'm biased since I'm the author of Finit 😄

[firasuke]

Might as well throw in "Fuinix" or "Phuinix" to further include letters from the penguin.

[wzir-23]

Portos (variation of Porthos, Port + OS)?

[troglobit]

Heh, cool idea! Also a hat tip to Star Trek again, Captain Archer's dog in Enterprise 😃 🖖

[mattiaswal]

Pether is my suggestion, the Ethernet penguin!

[jovatn]

Perhaps Yax? From Yang and Tux.

[firasuke]

Pingu (The penguin show + the ping utility)

[troglobit]

This! I love Pingu (the show) ever since my kids were small, and ping in is like my favorite network troubleshooting tool.
Great suggestion 😍

[jovatn]

Jack! (for RJ45 jack)

[troglobit]

Cool, I like it! Arne suggested Jack Gwyn on Linkedin: "Jack since it is a Jack and the Gwyn is taken from the Welsh ‘Pen Gwyn’ for Penguin." 😃

[troglobit]

We have a winner, @wkz (the creator) agrees that Jack/Jacky is the most suitable name 😃👍