Try the following:
- Try to manually install the extension:
cd ~/.local/share/gnome-shell/extensions/
rm -rf [email protected]/
wget https://github.com/trifonovkv/ping_indicator/releases/download/v20/[email protected]
unzip [email protected] -d [email protected]
rm [email protected]
- Check for Gnome Shell errors with
sudo journalctl -f
ortail -f ~.xsession-errors
. - Check for errors using Gnome Looking Glass: Alt+F2 > Type
lg
> Extensions. - Check if the extension is listed as installed:
gnome-extensions list
. - Run
gnome-tweaks
(install usingsudo apt-get install gnome-tweaks
), go to Extensions and make sure they are enabled.