I’m so lazy I just type `ping 1.1` and it still works (apparently 1.0.0.1 is also always up).

It's much faster just pinging 127.0.0.1 for such purposes. Try it!

In the spirit of M4v3R's post, that should be 127.1 . (-:

ping 0 would save you 3 bytes!

[deleted]