Try the following:
- Try to manually install the extension:
cd ~/.local/share/gnome-shell/extensions/
rm -rf ping_indicator@trifonovkv.gmail.com/
wget https://github.com/trifonovkv/ping_indicator/releases/download/v20/ping_indicator@trifonovkv.gmail.com.zip
unzip ping_indicator@trifonovkv.gmail.com.zip -d ping_indicator@trifonovkv.gmail.com
rm ping_indicator@trifonovkv.gmail.com.zip
- 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.