ding at rastersoft.com how to get rid of it

[Ralf Mardorf]

On Thu, 2023-11-30 at 21:01 -0500, Jerry Geis wrote:
> How do I get rid of it ?

Hi,

I am not familiar with gnome shell, as I do not use a desktop
environment. You should of course always try to find a clean solution
first, but if you can't find one you could try some dirty tricks.

If you don't need the package, just remove it

  sudo apt remove gnome-shell-extension-desktop-icons-ng

If you need something else from the package or if you can't remove it
due to dependency issues, just "rename" the file

  s="/usr/share/gnome-shell/extensions/ding at rastersoft.com/ding.js"
  sudo dpkg-divert --add --rename --divert $s.real $s

Regards,
Ralf