I was really excited about the idea of making a widget that’d ping servers. Finally some use for Dashboard. I was already running GeekTool, but thanks to pea, discovered this. Just add a shell console with this as the contents: “ping -qo address” and set some icons. Perfect!