data/gnome-shell.desktop.in data/gnome-shell-extension-prefs.desktop.in