f8ce01f
Adjust gnome-terminal favorite to renamed .desktop file The gnome-terminal package carries a downstream patch to rename the .desktop file (to match the DBus name). Handle this case, so the terminal does not just vanish from app favorites on updates.