A simple GNOME Shell extension that pings your domain or IP. By default this will ping google.com.
git clone https://github.com/prasanthc41m/ping-extension.git
cd ping-extension
make install
https://extensions.gnome.org/extension/6260/ping/
Thanks for your support ❤️ ArDrift Arnold Schelb
Note
Ping extended version is available with aditional features based on request, development in progress. To test and use go to below link. https://github.com/prasanthc41m/ping-extended-extension