I’m having an issue with my terminal notifications. It shows notification counts, but I can’t actually see any notifications when I open the place where they should appear (at least, nothing shows up).
This started happening after I used the “Connect Tunnel” app to connect to my university. If I didn’t properly stop/close the process and then shut down my computer, it seems to cause this. It’s happened 3 times, which is why it shows 3 notifications.
What does this mean? Is something still running in the background, or is it just a bug? Any ideas on how to fix it?
The badge count comes probably from a GNOME extension you’ve installed. I expect notifications to be accessible in the notification center, and unless the extension has the ability to open the notification center or otherwise display the notifications sent by the terminal, what you experience might be working as designed.
Do you see any messages issued by the terminal in the notification center? If so, once you click on them, does the badge count update?
I doubt it’s a bug. It could be the VPN app sending a desktop notification signalling the previous connection being ungracefully terminated.
You can check the logs (e.g. via journalctl -b -1) to investigate further.
The badge count comes probably from a GNOME extension you’ve installed.
You’re completely right, it’s definitely caused by a GNOME extension. The curious part is that I only have the “Dash to Dock” extension enabled. Is it still weird that it could affect the notification badge?
I expect notifications to be accessible in the notification center, and unless the extension has the ability to open the notification center or otherwise display the notifications sent by the terminal, what you experience might be working as designed.
I don’t see any notifications from the terminal in the notification center unfortunately.
I think maybe disabling the extension for the time being could be a temporary solution.
Well, AFAIK, notification badges are not a GNOME feature, so they must be coming via an extension (Dash to Dock or some other one).
Yeah, that might be a good solution, given that the issue is basically related to an extension. If you could find which extension it is, you can raise the issue upstream with the extension developer.