No need to ping if all you want is the conversion :) Just type it into the addre...

sigjuice · on April 28, 2023

The address bar is also a bit excessive for doing conversions.

  $ getent hosts 127.1
  127.0.0.1       127.1

lucb1e · on April 28, 2023

I would agree that a whole browser engine is overkill for any simple conversion of four simple bytes

...but you realize we're conversing via a website, right? :D Most people will already be in a browser!

enedil · on April 29, 2023

And the ping utility.