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 -fortail -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.