1 2 3 4 5 6 7 8 9 10 11 12 13 14{ "_generated": "Generated by SweetTooth, do not edit", "description": "A Ping Extended GNOME Shell extension that pings your domain or IP. By default this will ping google.com.", "name": "Ping Extended", "shell-version": [ "45", "46", "47" ], "url": "https://github.com/prasanthc41m/ping-extended-extension", "uuid": "ping-extended@prasanthc41m.github.com", "version": 999 }