1 files changed, 4 insertions, 787 deletions
diff --git a/x11/gnome-terminal/pkg-plist b/x11/gnome-terminal/pkg-plist
index 1de5dcb38644..a1d4833eced9 100644
--- a/x11/gnome-terminal/pkg-plist
+++ b/x11/gnome-terminal/pkg-plist
@@ -1,794 +1,12 @@
 bin/gnome-terminal
 lib/gnome-terminal/gschemas.compiled
 %%NAUTILUS%%lib/nautilus/extensions-4/libterminal-nautilus.so
-libexec/gnome-terminal-server
 libexec/gnome-terminal-preferences
+libexec/gnome-terminal-server
+share/applications/org.gnome.Terminal.Preferences.desktop
 share/applications/org.gnome.Terminal.desktop
 share/dbus-1/services/org.gnome.Terminal.service
-share/gnome-shell/search-providers/gnome-terminal-search-provider.ini
-share/applications/org.gnome.Terminal.Preferences.desktop
-share/help/C/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/C/gnome-terminal/app-colors.page
-share/help/C/gnome-terminal/app-cursor.page
-share/help/C/gnome-terminal/app-fonts.page
-share/help/C/gnome-terminal/app-fullscreen.page
-share/help/C/gnome-terminal/app-terminal-sizes.page
-share/help/C/gnome-terminal/app-zoom.page
-share/help/C/gnome-terminal/figures/gnome-terminal.png
-share/help/C/gnome-terminal/figures/keyboard-key-search.svg
-share/help/C/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/C/gnome-terminal/gs-execute-commands.page
-share/help/C/gnome-terminal/gs-tabs.page
-share/help/C/gnome-terminal/index.page
-share/help/C/gnome-terminal/introduction.page
-share/help/C/gnome-terminal/legal.xml
-share/help/C/gnome-terminal/overview.page
-share/help/C/gnome-terminal/pref-bell.page
-share/help/C/gnome-terminal/pref-custom-command.page
-share/help/C/gnome-terminal/pref-custom-exit.page
-share/help/C/gnome-terminal/pref-keyboard-access.page
-share/help/C/gnome-terminal/pref-login-shell.page
-share/help/C/gnome-terminal/pref-menubar.page
-share/help/C/gnome-terminal/pref-profile-char-width.page
-share/help/C/gnome-terminal/pref-profile-encoding.page
-share/help/C/gnome-terminal/pref-profiles.page
-share/help/C/gnome-terminal/pref-scrolling.page
-share/help/C/gnome-terminal/pref-tab-window.page
-share/help/C/gnome-terminal/pref-user-input.page
-share/help/C/gnome-terminal/pref.page
-share/help/C/gnome-terminal/prob-reset.page
-share/help/C/gnome-terminal/txt-copy-paste.page
-share/help/C/gnome-terminal/txt-links.page
-share/help/C/gnome-terminal/txt-search.page
-share/help/C/gnome-terminal/txt-select-text.page
-share/help/ca/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/ca/gnome-terminal/app-colors.page
-share/help/ca/gnome-terminal/app-cursor.page
-share/help/ca/gnome-terminal/app-fonts.page
-share/help/ca/gnome-terminal/app-fullscreen.page
-share/help/ca/gnome-terminal/app-terminal-sizes.page
-share/help/ca/gnome-terminal/app-zoom.page
-share/help/ca/gnome-terminal/figures/gnome-terminal.png
-share/help/ca/gnome-terminal/figures/keyboard-key-search.svg
-share/help/ca/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/ca/gnome-terminal/gs-execute-commands.page
-share/help/ca/gnome-terminal/gs-tabs.page
-share/help/ca/gnome-terminal/index.page
-share/help/ca/gnome-terminal/introduction.page
-share/help/ca/gnome-terminal/legal.xml
-share/help/ca/gnome-terminal/overview.page
-share/help/ca/gnome-terminal/pref-bell.page
-share/help/ca/gnome-terminal/pref-custom-command.page
-share/help/ca/gnome-terminal/pref-custom-exit.page
-share/help/ca/gnome-terminal/pref-keyboard-access.page
-share/help/ca/gnome-terminal/pref-login-shell.page
-share/help/ca/gnome-terminal/pref-menubar.page
-share/help/ca/gnome-terminal/pref-profile-char-width.page
-share/help/ca/gnome-terminal/pref-profile-encoding.page
-share/help/ca/gnome-terminal/pref-profiles.page
-share/help/ca/gnome-terminal/pref-scrolling.page
-share/help/ca/gnome-terminal/pref-tab-window.page
-share/help/ca/gnome-terminal/pref-user-input.page
-share/help/ca/gnome-terminal/pref.page
-share/help/ca/gnome-terminal/prob-reset.page
-share/help/ca/gnome-terminal/txt-copy-paste.page
-share/help/ca/gnome-terminal/txt-links.page
-share/help/ca/gnome-terminal/txt-search.page
-share/help/ca/gnome-terminal/txt-select-text.page
-share/help/cs/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/cs/gnome-terminal/app-colors.page
-share/help/cs/gnome-terminal/app-cursor.page
-share/help/cs/gnome-terminal/app-fonts.page
-share/help/cs/gnome-terminal/app-fullscreen.page
-share/help/cs/gnome-terminal/app-terminal-sizes.page
-share/help/cs/gnome-terminal/app-zoom.page
-share/help/cs/gnome-terminal/figures/gnome-terminal.png
-share/help/cs/gnome-terminal/figures/keyboard-key-search.svg
-share/help/cs/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/cs/gnome-terminal/gs-execute-commands.page
-share/help/cs/gnome-terminal/gs-tabs.page
-share/help/cs/gnome-terminal/index.page
-share/help/cs/gnome-terminal/introduction.page
-share/help/cs/gnome-terminal/legal.xml
-share/help/cs/gnome-terminal/overview.page
-share/help/cs/gnome-terminal/pref-bell.page
-share/help/cs/gnome-terminal/pref-custom-command.page
-share/help/cs/gnome-terminal/pref-custom-exit.page
-share/help/cs/gnome-terminal/pref-keyboard-access.page
-share/help/cs/gnome-terminal/pref-login-shell.page
-share/help/cs/gnome-terminal/pref-menubar.page
-share/help/cs/gnome-terminal/pref-profile-char-width.page
-share/help/cs/gnome-terminal/pref-profile-encoding.page
-share/help/cs/gnome-terminal/pref-profiles.page
-share/help/cs/gnome-terminal/pref-scrolling.page
-share/help/cs/gnome-terminal/pref-tab-window.page
-share/help/cs/gnome-terminal/pref-user-input.page
-share/help/cs/gnome-terminal/pref.page
-share/help/cs/gnome-terminal/prob-reset.page
-share/help/cs/gnome-terminal/txt-copy-paste.page
-share/help/cs/gnome-terminal/txt-links.page
-share/help/cs/gnome-terminal/txt-search.page
-share/help/cs/gnome-terminal/txt-select-text.page
-share/help/da/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/da/gnome-terminal/app-colors.page
-share/help/da/gnome-terminal/app-cursor.page
-share/help/da/gnome-terminal/app-fonts.page
-share/help/da/gnome-terminal/app-fullscreen.page
-share/help/da/gnome-terminal/app-terminal-sizes.page
-share/help/da/gnome-terminal/app-zoom.page
-share/help/da/gnome-terminal/figures/gnome-terminal.png
-share/help/da/gnome-terminal/figures/keyboard-key-search.svg
-share/help/da/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/da/gnome-terminal/gs-execute-commands.page
-share/help/da/gnome-terminal/gs-tabs.page
-share/help/da/gnome-terminal/index.page
-share/help/da/gnome-terminal/introduction.page
-share/help/da/gnome-terminal/legal.xml
-share/help/da/gnome-terminal/overview.page
-share/help/da/gnome-terminal/pref-bell.page
-share/help/da/gnome-terminal/pref-custom-command.page
-share/help/da/gnome-terminal/pref-custom-exit.page
-share/help/da/gnome-terminal/pref-keyboard-access.page
-share/help/da/gnome-terminal/pref-login-shell.page
-share/help/da/gnome-terminal/pref-menubar.page
-share/help/da/gnome-terminal/pref-profile-char-width.page
-share/help/da/gnome-terminal/pref-profile-encoding.page
-share/help/da/gnome-terminal/pref-profiles.page
-share/help/da/gnome-terminal/pref-scrolling.page
-share/help/da/gnome-terminal/pref-tab-window.page
-share/help/da/gnome-terminal/pref-user-input.page
-share/help/da/gnome-terminal/pref.page
-share/help/da/gnome-terminal/prob-reset.page
-share/help/da/gnome-terminal/txt-copy-paste.page
-share/help/da/gnome-terminal/txt-links.page
-share/help/da/gnome-terminal/txt-search.page
-share/help/da/gnome-terminal/txt-select-text.page
-share/help/de/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/de/gnome-terminal/app-colors.page
-share/help/de/gnome-terminal/app-cursor.page
-share/help/de/gnome-terminal/app-fonts.page
-share/help/de/gnome-terminal/app-fullscreen.page
-share/help/de/gnome-terminal/app-terminal-sizes.page
-share/help/de/gnome-terminal/app-zoom.page
-share/help/de/gnome-terminal/figures/gnome-terminal.png
-share/help/de/gnome-terminal/figures/keyboard-key-search.svg
-share/help/de/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/de/gnome-terminal/gs-execute-commands.page
-share/help/de/gnome-terminal/gs-tabs.page
-share/help/de/gnome-terminal/index.page
-share/help/de/gnome-terminal/introduction.page
-share/help/de/gnome-terminal/legal.xml
-share/help/de/gnome-terminal/overview.page
-share/help/de/gnome-terminal/pref-bell.page
-share/help/de/gnome-terminal/pref-custom-command.page
-share/help/de/gnome-terminal/pref-custom-exit.page
-share/help/de/gnome-terminal/pref-keyboard-access.page
-share/help/de/gnome-terminal/pref-login-shell.page
-share/help/de/gnome-terminal/pref-menubar.page
-share/help/de/gnome-terminal/pref-profile-char-width.page
-share/help/de/gnome-terminal/pref-profile-encoding.page
-share/help/de/gnome-terminal/pref-profiles.page
-share/help/de/gnome-terminal/pref-scrolling.page
-share/help/de/gnome-terminal/pref-tab-window.page
-share/help/de/gnome-terminal/pref-user-input.page
-share/help/de/gnome-terminal/pref.page
-share/help/de/gnome-terminal/prob-reset.page
-share/help/de/gnome-terminal/txt-copy-paste.page
-share/help/de/gnome-terminal/txt-links.page
-share/help/de/gnome-terminal/txt-search.page
-share/help/de/gnome-terminal/txt-select-text.page
-share/help/el/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/el/gnome-terminal/app-colors.page
-share/help/el/gnome-terminal/app-cursor.page
-share/help/el/gnome-terminal/app-fonts.page
-share/help/el/gnome-terminal/app-fullscreen.page
-share/help/el/gnome-terminal/app-terminal-sizes.page
-share/help/el/gnome-terminal/app-zoom.page
-share/help/el/gnome-terminal/figures/gnome-terminal.png
-share/help/el/gnome-terminal/figures/keyboard-key-search.svg
-share/help/el/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/el/gnome-terminal/gs-execute-commands.page
-share/help/el/gnome-terminal/gs-tabs.page
-share/help/el/gnome-terminal/index.page
-share/help/el/gnome-terminal/introduction.page
-share/help/el/gnome-terminal/legal.xml
-share/help/el/gnome-terminal/overview.page
-share/help/el/gnome-terminal/pref-bell.page
-share/help/el/gnome-terminal/pref-custom-command.page
-share/help/el/gnome-terminal/pref-custom-exit.page
-share/help/el/gnome-terminal/pref-keyboard-access.page
-share/help/el/gnome-terminal/pref-login-shell.page
-share/help/el/gnome-terminal/pref-menubar.page
-share/help/el/gnome-terminal/pref-profile-char-width.page
-share/help/el/gnome-terminal/pref-profile-encoding.page
-share/help/el/gnome-terminal/pref-profiles.page
-share/help/el/gnome-terminal/pref-scrolling.page
-share/help/el/gnome-terminal/pref-tab-window.page
-share/help/el/gnome-terminal/pref-user-input.page
-share/help/el/gnome-terminal/pref.page
-share/help/el/gnome-terminal/prob-reset.page
-share/help/el/gnome-terminal/txt-copy-paste.page
-share/help/el/gnome-terminal/txt-links.page
-share/help/el/gnome-terminal/txt-search.page
-share/help/el/gnome-terminal/txt-select-text.page
-share/help/es/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/es/gnome-terminal/app-colors.page
-share/help/es/gnome-terminal/app-cursor.page
-share/help/es/gnome-terminal/app-fonts.page
-share/help/es/gnome-terminal/app-fullscreen.page
-share/help/es/gnome-terminal/app-terminal-sizes.page
-share/help/es/gnome-terminal/app-zoom.page
-share/help/es/gnome-terminal/figures/gnome-terminal.png
-share/help/es/gnome-terminal/figures/keyboard-key-search.svg
-share/help/es/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/es/gnome-terminal/gs-execute-commands.page
-share/help/es/gnome-terminal/gs-tabs.page
-share/help/es/gnome-terminal/index.page
-share/help/es/gnome-terminal/introduction.page
-share/help/es/gnome-terminal/legal.xml
-share/help/es/gnome-terminal/overview.page
-share/help/es/gnome-terminal/pref-bell.page
-share/help/es/gnome-terminal/pref-custom-command.page
-share/help/es/gnome-terminal/pref-custom-exit.page
-share/help/es/gnome-terminal/pref-keyboard-access.page
-share/help/es/gnome-terminal/pref-login-shell.page
-share/help/es/gnome-terminal/pref-menubar.page
-share/help/es/gnome-terminal/pref-profile-char-width.page
-share/help/es/gnome-terminal/pref-profile-encoding.page
-share/help/es/gnome-terminal/pref-profiles.page
-share/help/es/gnome-terminal/pref-scrolling.page
-share/help/es/gnome-terminal/pref-tab-window.page
-share/help/es/gnome-terminal/pref-user-input.page
-share/help/es/gnome-terminal/pref.page
-share/help/es/gnome-terminal/prob-reset.page
-share/help/es/gnome-terminal/txt-copy-paste.page
-share/help/es/gnome-terminal/txt-links.page
-share/help/es/gnome-terminal/txt-search.page
-share/help/es/gnome-terminal/txt-select-text.page
-share/help/eu/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/eu/gnome-terminal/app-colors.page
-share/help/eu/gnome-terminal/app-cursor.page
-share/help/eu/gnome-terminal/app-fonts.page
-share/help/eu/gnome-terminal/app-fullscreen.page
-share/help/eu/gnome-terminal/app-terminal-sizes.page
-share/help/eu/gnome-terminal/app-zoom.page
-share/help/eu/gnome-terminal/figures/gnome-terminal.png
-share/help/eu/gnome-terminal/figures/keyboard-key-search.svg
-share/help/eu/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/eu/gnome-terminal/gs-execute-commands.page
-share/help/eu/gnome-terminal/gs-tabs.page
-share/help/eu/gnome-terminal/index.page
-share/help/eu/gnome-terminal/introduction.page
-share/help/eu/gnome-terminal/legal.xml
-share/help/eu/gnome-terminal/overview.page
-share/help/eu/gnome-terminal/pref-bell.page
-share/help/eu/gnome-terminal/pref-custom-command.page
-share/help/eu/gnome-terminal/pref-custom-exit.page
-share/help/eu/gnome-terminal/pref-keyboard-access.page
-share/help/eu/gnome-terminal/pref-login-shell.page
-share/help/eu/gnome-terminal/pref-menubar.page
-share/help/eu/gnome-terminal/pref-profile-char-width.page
-share/help/eu/gnome-terminal/pref-profile-encoding.page
-share/help/eu/gnome-terminal/pref-profiles.page
-share/help/eu/gnome-terminal/pref-scrolling.page
-share/help/eu/gnome-terminal/pref-tab-window.page
-share/help/eu/gnome-terminal/pref-user-input.page
-share/help/eu/gnome-terminal/pref.page
-share/help/eu/gnome-terminal/prob-reset.page
-share/help/eu/gnome-terminal/txt-copy-paste.page
-share/help/eu/gnome-terminal/txt-links.page
-share/help/eu/gnome-terminal/txt-search.page
-share/help/eu/gnome-terminal/txt-select-text.page
-share/help/fi/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/fi/gnome-terminal/app-colors.page
-share/help/fi/gnome-terminal/app-cursor.page
-share/help/fi/gnome-terminal/app-fonts.page
-share/help/fi/gnome-terminal/app-fullscreen.page
-share/help/fi/gnome-terminal/app-terminal-sizes.page
-share/help/fi/gnome-terminal/app-zoom.page
-share/help/fi/gnome-terminal/figures/gnome-terminal.png
-share/help/fi/gnome-terminal/figures/keyboard-key-search.svg
-share/help/fi/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/fi/gnome-terminal/gs-execute-commands.page
-share/help/fi/gnome-terminal/gs-tabs.page
-share/help/fi/gnome-terminal/index.page
-share/help/fi/gnome-terminal/introduction.page
-share/help/fi/gnome-terminal/legal.xml
-share/help/fi/gnome-terminal/overview.page
-share/help/fi/gnome-terminal/pref-bell.page
-share/help/fi/gnome-terminal/pref-custom-command.page
-share/help/fi/gnome-terminal/pref-custom-exit.page
-share/help/fi/gnome-terminal/pref-keyboard-access.page
-share/help/fi/gnome-terminal/pref-login-shell.page
-share/help/fi/gnome-terminal/pref-menubar.page
-share/help/fi/gnome-terminal/pref-profile-char-width.page
-share/help/fi/gnome-terminal/pref-profile-encoding.page
-share/help/fi/gnome-terminal/pref-profiles.page
-share/help/fi/gnome-terminal/pref-scrolling.page
-share/help/fi/gnome-terminal/pref-tab-window.page
-share/help/fi/gnome-terminal/pref-user-input.page
-share/help/fi/gnome-terminal/pref.page
-share/help/fi/gnome-terminal/prob-reset.page
-share/help/fi/gnome-terminal/txt-copy-paste.page
-share/help/fi/gnome-terminal/txt-links.page
-share/help/fi/gnome-terminal/txt-search.page
-share/help/fi/gnome-terminal/txt-select-text.page
-share/help/fr/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/fr/gnome-terminal/app-colors.page
-share/help/fr/gnome-terminal/app-cursor.page
-share/help/fr/gnome-terminal/app-fonts.page
-share/help/fr/gnome-terminal/app-fullscreen.page
-share/help/fr/gnome-terminal/app-terminal-sizes.page
-share/help/fr/gnome-terminal/app-zoom.page
-share/help/fr/gnome-terminal/figures/gnome-terminal.png
-share/help/fr/gnome-terminal/figures/keyboard-key-search.svg
-share/help/fr/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/fr/gnome-terminal/gs-execute-commands.page
-share/help/fr/gnome-terminal/gs-tabs.page
-share/help/fr/gnome-terminal/index.page
-share/help/fr/gnome-terminal/introduction.page
-share/help/fr/gnome-terminal/legal.xml
-share/help/fr/gnome-terminal/overview.page
-share/help/fr/gnome-terminal/pref-bell.page
-share/help/fr/gnome-terminal/pref-custom-command.page
-share/help/fr/gnome-terminal/pref-custom-exit.page
-share/help/fr/gnome-terminal/pref-keyboard-access.page
-share/help/fr/gnome-terminal/pref-login-shell.page
-share/help/fr/gnome-terminal/pref-menubar.page
-share/help/fr/gnome-terminal/pref-profile-char-width.page
-share/help/fr/gnome-terminal/pref-profile-encoding.page
-share/help/fr/gnome-terminal/pref-profiles.page
-share/help/fr/gnome-terminal/pref-scrolling.page
-share/help/fr/gnome-terminal/pref-tab-window.page
-share/help/fr/gnome-terminal/pref-user-input.page
-share/help/fr/gnome-terminal/pref.page
-share/help/fr/gnome-terminal/prob-reset.page
-share/help/fr/gnome-terminal/txt-copy-paste.page
-share/help/fr/gnome-terminal/txt-links.page
-share/help/fr/gnome-terminal/txt-search.page
-share/help/fr/gnome-terminal/txt-select-text.page
-share/help/gl/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/gl/gnome-terminal/app-colors.page
-share/help/gl/gnome-terminal/app-cursor.page
-share/help/gl/gnome-terminal/app-fonts.page
-share/help/gl/gnome-terminal/app-fullscreen.page
-share/help/gl/gnome-terminal/app-terminal-sizes.page
-share/help/gl/gnome-terminal/app-zoom.page
-share/help/gl/gnome-terminal/figures/gnome-terminal.png
-share/help/gl/gnome-terminal/figures/keyboard-key-search.svg
-share/help/gl/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/gl/gnome-terminal/gs-execute-commands.page
-share/help/gl/gnome-terminal/gs-tabs.page
-share/help/gl/gnome-terminal/index.page
-share/help/gl/gnome-terminal/introduction.page
-share/help/gl/gnome-terminal/legal.xml
-share/help/gl/gnome-terminal/overview.page
-share/help/gl/gnome-terminal/pref-bell.page
-share/help/gl/gnome-terminal/pref-custom-command.page
-share/help/gl/gnome-terminal/pref-custom-exit.page
-share/help/gl/gnome-terminal/pref-keyboard-access.page
-share/help/gl/gnome-terminal/pref-login-shell.page
-share/help/gl/gnome-terminal/pref-menubar.page
-share/help/gl/gnome-terminal/pref-profile-char-width.page
-share/help/gl/gnome-terminal/pref-profile-encoding.page
-share/help/gl/gnome-terminal/pref-profiles.page
-share/help/gl/gnome-terminal/pref-scrolling.page
-share/help/gl/gnome-terminal/pref-tab-window.page
-share/help/gl/gnome-terminal/pref-user-input.page
-share/help/gl/gnome-terminal/pref.page
-share/help/gl/gnome-terminal/prob-reset.page
-share/help/gl/gnome-terminal/txt-copy-paste.page
-share/help/gl/gnome-terminal/txt-links.page
-share/help/gl/gnome-terminal/txt-search.page
-share/help/gl/gnome-terminal/txt-select-text.page
-share/help/hu/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/hu/gnome-terminal/app-colors.page
-share/help/hu/gnome-terminal/app-cursor.page
-share/help/hu/gnome-terminal/app-fonts.page
-share/help/hu/gnome-terminal/app-fullscreen.page
-share/help/hu/gnome-terminal/app-terminal-sizes.page
-share/help/hu/gnome-terminal/app-zoom.page
-share/help/hu/gnome-terminal/figures/gnome-terminal.png
-share/help/hu/gnome-terminal/figures/keyboard-key-search.svg
-share/help/hu/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/hu/gnome-terminal/gs-execute-commands.page
-share/help/hu/gnome-terminal/gs-tabs.page
-share/help/hu/gnome-terminal/index.page
-share/help/hu/gnome-terminal/introduction.page
-share/help/hu/gnome-terminal/legal.xml
-share/help/hu/gnome-terminal/overview.page
-share/help/hu/gnome-terminal/pref-bell.page
-share/help/hu/gnome-terminal/pref-custom-command.page
-share/help/hu/gnome-terminal/pref-custom-exit.page
-share/help/hu/gnome-terminal/pref-keyboard-access.page
-share/help/hu/gnome-terminal/pref-login-shell.page
-share/help/hu/gnome-terminal/pref-menubar.page
-share/help/hu/gnome-terminal/pref-profile-char-width.page
-share/help/hu/gnome-terminal/pref-profile-encoding.page
-share/help/hu/gnome-terminal/pref-profiles.page
-share/help/hu/gnome-terminal/pref-scrolling.page
-share/help/hu/gnome-terminal/pref-tab-window.page
-share/help/hu/gnome-terminal/pref-user-input.page
-share/help/hu/gnome-terminal/pref.page
-share/help/hu/gnome-terminal/prob-reset.page
-share/help/hu/gnome-terminal/txt-copy-paste.page
-share/help/hu/gnome-terminal/txt-links.page
-share/help/hu/gnome-terminal/txt-search.page
-share/help/hu/gnome-terminal/txt-select-text.page
-share/help/id/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/id/gnome-terminal/app-colors.page
-share/help/id/gnome-terminal/app-cursor.page
-share/help/id/gnome-terminal/app-fonts.page
-share/help/id/gnome-terminal/app-fullscreen.page
-share/help/id/gnome-terminal/app-terminal-sizes.page
-share/help/id/gnome-terminal/app-zoom.page
-share/help/id/gnome-terminal/figures/gnome-terminal.png
-share/help/id/gnome-terminal/figures/keyboard-key-search.svg
-share/help/id/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/id/gnome-terminal/gs-execute-commands.page
-share/help/id/gnome-terminal/gs-tabs.page
-share/help/id/gnome-terminal/index.page
-share/help/id/gnome-terminal/introduction.page
-share/help/id/gnome-terminal/legal.xml
-share/help/id/gnome-terminal/overview.page
-share/help/id/gnome-terminal/pref-bell.page
-share/help/id/gnome-terminal/pref-custom-command.page
-share/help/id/gnome-terminal/pref-custom-exit.page
-share/help/id/gnome-terminal/pref-keyboard-access.page
-share/help/id/gnome-terminal/pref-login-shell.page
-share/help/id/gnome-terminal/pref-menubar.page
-share/help/id/gnome-terminal/pref-profile-char-width.page
-share/help/id/gnome-terminal/pref-profile-encoding.page
-share/help/id/gnome-terminal/pref-profiles.page
-share/help/id/gnome-terminal/pref-scrolling.page
-share/help/id/gnome-terminal/pref-tab-window.page
-share/help/id/gnome-terminal/pref-user-input.page
-share/help/id/gnome-terminal/pref.page
-share/help/id/gnome-terminal/prob-reset.page
-share/help/id/gnome-terminal/txt-copy-paste.page
-share/help/id/gnome-terminal/txt-links.page
-share/help/id/gnome-terminal/txt-search.page
-share/help/id/gnome-terminal/txt-select-text.page
-share/help/ka/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/ka/gnome-terminal/app-colors.page
-share/help/ka/gnome-terminal/app-cursor.page
-share/help/ka/gnome-terminal/app-fonts.page
-share/help/ka/gnome-terminal/app-fullscreen.page
-share/help/ka/gnome-terminal/app-terminal-sizes.page
-share/help/ka/gnome-terminal/app-zoom.page
-share/help/ka/gnome-terminal/figures/gnome-terminal.png
-share/help/ka/gnome-terminal/figures/keyboard-key-search.svg
-share/help/ka/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/ka/gnome-terminal/gs-execute-commands.page
-share/help/ka/gnome-terminal/gs-tabs.page
-share/help/ka/gnome-terminal/index.page
-share/help/ka/gnome-terminal/introduction.page
-share/help/ka/gnome-terminal/legal.xml
-share/help/ka/gnome-terminal/overview.page
-share/help/ka/gnome-terminal/pref-bell.page
-share/help/ka/gnome-terminal/pref-custom-command.page
-share/help/ka/gnome-terminal/pref-custom-exit.page
-share/help/ka/gnome-terminal/pref-keyboard-access.page
-share/help/ka/gnome-terminal/pref-login-shell.page
-share/help/ka/gnome-terminal/pref-menubar.page
-share/help/ka/gnome-terminal/pref-profile-char-width.page
-share/help/ka/gnome-terminal/pref-profile-encoding.page
-share/help/ka/gnome-terminal/pref-profiles.page
-share/help/ka/gnome-terminal/pref-scrolling.page
-share/help/ka/gnome-terminal/pref-tab-window.page
-share/help/ka/gnome-terminal/pref-user-input.page
-share/help/ka/gnome-terminal/pref.page
-share/help/ka/gnome-terminal/prob-reset.page
-share/help/ka/gnome-terminal/txt-copy-paste.page
-share/help/ka/gnome-terminal/txt-links.page
-share/help/ka/gnome-terminal/txt-search.page
-share/help/ka/gnome-terminal/txt-select-text.page
-share/help/ko/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/ko/gnome-terminal/app-colors.page
-share/help/ko/gnome-terminal/app-cursor.page
-share/help/ko/gnome-terminal/app-fonts.page
-share/help/ko/gnome-terminal/app-fullscreen.page
-share/help/ko/gnome-terminal/app-terminal-sizes.page
-share/help/ko/gnome-terminal/app-zoom.page
-share/help/ko/gnome-terminal/figures/gnome-terminal.png
-share/help/ko/gnome-terminal/figures/keyboard-key-search.svg
-share/help/ko/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/ko/gnome-terminal/gs-execute-commands.page
-share/help/ko/gnome-terminal/gs-tabs.page
-share/help/ko/gnome-terminal/index.page
-share/help/ko/gnome-terminal/introduction.page
-share/help/ko/gnome-terminal/legal.xml
-share/help/ko/gnome-terminal/overview.page
-share/help/ko/gnome-terminal/pref-bell.page
-share/help/ko/gnome-terminal/pref-custom-command.page
-share/help/ko/gnome-terminal/pref-custom-exit.page
-share/help/ko/gnome-terminal/pref-keyboard-access.page
-share/help/ko/gnome-terminal/pref-login-shell.page
-share/help/ko/gnome-terminal/pref-menubar.page
-share/help/ko/gnome-terminal/pref-profile-char-width.page
-share/help/ko/gnome-terminal/pref-profile-encoding.page
-share/help/ko/gnome-terminal/pref-profiles.page
-share/help/ko/gnome-terminal/pref-scrolling.page
-share/help/ko/gnome-terminal/pref-tab-window.page
-share/help/ko/gnome-terminal/pref-user-input.page
-share/help/ko/gnome-terminal/pref.page
-share/help/ko/gnome-terminal/prob-reset.page
-share/help/ko/gnome-terminal/txt-copy-paste.page
-share/help/ko/gnome-terminal/txt-links.page
-share/help/ko/gnome-terminal/txt-search.page
-share/help/ko/gnome-terminal/txt-select-text.page
-share/help/pl/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/pl/gnome-terminal/app-colors.page
-share/help/pl/gnome-terminal/app-cursor.page
-share/help/pl/gnome-terminal/app-fonts.page
-share/help/pl/gnome-terminal/app-fullscreen.page
-share/help/pl/gnome-terminal/app-terminal-sizes.page
-share/help/pl/gnome-terminal/app-zoom.page
-share/help/pl/gnome-terminal/figures/gnome-terminal.png
-share/help/pl/gnome-terminal/figures/keyboard-key-search.svg
-share/help/pl/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/pl/gnome-terminal/gs-execute-commands.page
-share/help/pl/gnome-terminal/gs-tabs.page
-share/help/pl/gnome-terminal/index.page
-share/help/pl/gnome-terminal/introduction.page
-share/help/pl/gnome-terminal/legal.xml
-share/help/pl/gnome-terminal/overview.page
-share/help/pl/gnome-terminal/pref-bell.page
-share/help/pl/gnome-terminal/pref-custom-command.page
-share/help/pl/gnome-terminal/pref-custom-exit.page
-share/help/pl/gnome-terminal/pref-keyboard-access.page
-share/help/pl/gnome-terminal/pref-login-shell.page
-share/help/pl/gnome-terminal/pref-menubar.page
-share/help/pl/gnome-terminal/pref-profile-char-width.page
-share/help/pl/gnome-terminal/pref-profile-encoding.page
-share/help/pl/gnome-terminal/pref-profiles.page
-share/help/pl/gnome-terminal/pref-scrolling.page
-share/help/pl/gnome-terminal/pref-tab-window.page
-share/help/pl/gnome-terminal/pref-user-input.page
-share/help/pl/gnome-terminal/pref.page
-share/help/pl/gnome-terminal/prob-reset.page
-share/help/pl/gnome-terminal/txt-copy-paste.page
-share/help/pl/gnome-terminal/txt-links.page
-share/help/pl/gnome-terminal/txt-search.page
-share/help/pl/gnome-terminal/txt-select-text.page
-share/help/pt_BR/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/pt_BR/gnome-terminal/app-colors.page
-share/help/pt_BR/gnome-terminal/app-cursor.page
-share/help/pt_BR/gnome-terminal/app-fonts.page
-share/help/pt_BR/gnome-terminal/app-fullscreen.page
-share/help/pt_BR/gnome-terminal/app-terminal-sizes.page
-share/help/pt_BR/gnome-terminal/app-zoom.page
-share/help/pt_BR/gnome-terminal/figures/gnome-terminal.png
-share/help/pt_BR/gnome-terminal/figures/keyboard-key-search.svg
-share/help/pt_BR/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/pt_BR/gnome-terminal/gs-execute-commands.page
-share/help/pt_BR/gnome-terminal/gs-tabs.page
-share/help/pt_BR/gnome-terminal/index.page
-share/help/pt_BR/gnome-terminal/introduction.page
-share/help/pt_BR/gnome-terminal/legal.xml
-share/help/pt_BR/gnome-terminal/overview.page
-share/help/pt_BR/gnome-terminal/pref-bell.page
-share/help/pt_BR/gnome-terminal/pref-custom-command.page
-share/help/pt_BR/gnome-terminal/pref-custom-exit.page
-share/help/pt_BR/gnome-terminal/pref-keyboard-access.page
-share/help/pt_BR/gnome-terminal/pref-login-shell.page
-share/help/pt_BR/gnome-terminal/pref-menubar.page
-share/help/pt_BR/gnome-terminal/pref-profile-char-width.page
-share/help/pt_BR/gnome-terminal/pref-profile-encoding.page
-share/help/pt_BR/gnome-terminal/pref-profiles.page
-share/help/pt_BR/gnome-terminal/pref-scrolling.page
-share/help/pt_BR/gnome-terminal/pref-tab-window.page
-share/help/pt_BR/gnome-terminal/pref-user-input.page
-share/help/pt_BR/gnome-terminal/pref.page
-share/help/pt_BR/gnome-terminal/prob-reset.page
-share/help/pt_BR/gnome-terminal/txt-copy-paste.page
-share/help/pt_BR/gnome-terminal/txt-links.page
-share/help/pt_BR/gnome-terminal/txt-search.page
-share/help/pt_BR/gnome-terminal/txt-select-text.page
-share/help/ro/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/ro/gnome-terminal/app-colors.page
-share/help/ro/gnome-terminal/app-cursor.page
-share/help/ro/gnome-terminal/app-fonts.page
-share/help/ro/gnome-terminal/app-fullscreen.page
-share/help/ro/gnome-terminal/app-terminal-sizes.page
-share/help/ro/gnome-terminal/app-zoom.page
-share/help/ro/gnome-terminal/figures/gnome-terminal.png
-share/help/ro/gnome-terminal/figures/keyboard-key-search.svg
-share/help/ro/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/ro/gnome-terminal/gs-execute-commands.page
-share/help/ro/gnome-terminal/gs-tabs.page
-share/help/ro/gnome-terminal/index.page
-share/help/ro/gnome-terminal/introduction.page
-share/help/ro/gnome-terminal/legal.xml
-share/help/ro/gnome-terminal/overview.page
-share/help/ro/gnome-terminal/pref-bell.page
-share/help/ro/gnome-terminal/pref-custom-command.page
-share/help/ro/gnome-terminal/pref-custom-exit.page
-share/help/ro/gnome-terminal/pref-keyboard-access.page
-share/help/ro/gnome-terminal/pref-login-shell.page
-share/help/ro/gnome-terminal/pref-menubar.page
-share/help/ro/gnome-terminal/pref-profile-char-width.page
-share/help/ro/gnome-terminal/pref-profile-encoding.page
-share/help/ro/gnome-terminal/pref-profiles.page
-share/help/ro/gnome-terminal/pref-scrolling.page
-share/help/ro/gnome-terminal/pref-tab-window.page
-share/help/ro/gnome-terminal/pref-user-input.page
-share/help/ro/gnome-terminal/pref.page
-share/help/ro/gnome-terminal/prob-reset.page
-share/help/ro/gnome-terminal/txt-copy-paste.page
-share/help/ro/gnome-terminal/txt-links.page
-share/help/ro/gnome-terminal/txt-search.page
-share/help/ro/gnome-terminal/txt-select-text.page
-share/help/ru/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/ru/gnome-terminal/app-colors.page
-share/help/ru/gnome-terminal/app-cursor.page
-share/help/ru/gnome-terminal/app-fonts.page
-share/help/ru/gnome-terminal/app-fullscreen.page
-share/help/ru/gnome-terminal/app-terminal-sizes.page
-share/help/ru/gnome-terminal/app-zoom.page
-share/help/ru/gnome-terminal/figures/gnome-terminal.png
-share/help/ru/gnome-terminal/figures/keyboard-key-search.svg
-share/help/ru/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/ru/gnome-terminal/gs-execute-commands.page
-share/help/ru/gnome-terminal/gs-tabs.page
-share/help/ru/gnome-terminal/index.page
-share/help/ru/gnome-terminal/introduction.page
-share/help/ru/gnome-terminal/legal.xml
-share/help/ru/gnome-terminal/overview.page
-share/help/ru/gnome-terminal/pref-bell.page
-share/help/ru/gnome-terminal/pref-custom-command.page
-share/help/ru/gnome-terminal/pref-custom-exit.page
-share/help/ru/gnome-terminal/pref-keyboard-access.page
-share/help/ru/gnome-terminal/pref-login-shell.page
-share/help/ru/gnome-terminal/pref-menubar.page
-share/help/ru/gnome-terminal/pref-profile-char-width.page
-share/help/ru/gnome-terminal/pref-profile-encoding.page
-share/help/ru/gnome-terminal/pref-profiles.page
-share/help/ru/gnome-terminal/pref-scrolling.page
-share/help/ru/gnome-terminal/pref-tab-window.page
-share/help/ru/gnome-terminal/pref-user-input.page
-share/help/ru/gnome-terminal/pref.page
-share/help/ru/gnome-terminal/prob-reset.page
-share/help/ru/gnome-terminal/txt-copy-paste.page
-share/help/ru/gnome-terminal/txt-links.page
-share/help/ru/gnome-terminal/txt-search.page
-share/help/ru/gnome-terminal/txt-select-text.page
-share/help/sv/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/sv/gnome-terminal/app-colors.page
-share/help/sv/gnome-terminal/app-cursor.page
-share/help/sv/gnome-terminal/app-fonts.page
-share/help/sv/gnome-terminal/app-fullscreen.page
-share/help/sv/gnome-terminal/app-terminal-sizes.page
-share/help/sv/gnome-terminal/app-zoom.page
-share/help/sv/gnome-terminal/figures/gnome-terminal.png
-share/help/sv/gnome-terminal/figures/keyboard-key-search.svg
-share/help/sv/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/sv/gnome-terminal/gs-execute-commands.page
-share/help/sv/gnome-terminal/gs-tabs.page
-share/help/sv/gnome-terminal/index.page
-share/help/sv/gnome-terminal/introduction.page
-share/help/sv/gnome-terminal/legal.xml
-share/help/sv/gnome-terminal/overview.page
-share/help/sv/gnome-terminal/pref-bell.page
-share/help/sv/gnome-terminal/pref-custom-command.page
-share/help/sv/gnome-terminal/pref-custom-exit.page
-share/help/sv/gnome-terminal/pref-keyboard-access.page
-share/help/sv/gnome-terminal/pref-login-shell.page
-share/help/sv/gnome-terminal/pref-menubar.page
-share/help/sv/gnome-terminal/pref-profile-char-width.page
-share/help/sv/gnome-terminal/pref-profile-encoding.page
-share/help/sv/gnome-terminal/pref-profiles.page
-share/help/sv/gnome-terminal/pref-scrolling.page
-share/help/sv/gnome-terminal/pref-tab-window.page
-share/help/sv/gnome-terminal/pref-user-input.page
-share/help/sv/gnome-terminal/pref.page
-share/help/sv/gnome-terminal/prob-reset.page
-share/help/sv/gnome-terminal/txt-copy-paste.page
-share/help/sv/gnome-terminal/txt-links.page
-share/help/sv/gnome-terminal/txt-search.page
-share/help/sv/gnome-terminal/txt-select-text.page
-share/help/tr/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/tr/gnome-terminal/app-colors.page
-share/help/tr/gnome-terminal/app-cursor.page
-share/help/tr/gnome-terminal/app-fonts.page
-share/help/tr/gnome-terminal/app-fullscreen.page
-share/help/tr/gnome-terminal/app-terminal-sizes.page
-share/help/tr/gnome-terminal/app-zoom.page
-share/help/tr/gnome-terminal/figures/gnome-terminal.png
-share/help/tr/gnome-terminal/figures/keyboard-key-search.svg
-share/help/tr/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/tr/gnome-terminal/gs-execute-commands.page
-share/help/tr/gnome-terminal/gs-tabs.page
-share/help/tr/gnome-terminal/index.page
-share/help/tr/gnome-terminal/introduction.page
-share/help/tr/gnome-terminal/legal.xml
-share/help/tr/gnome-terminal/overview.page
-share/help/tr/gnome-terminal/pref-bell.page
-share/help/tr/gnome-terminal/pref-custom-command.page
-share/help/tr/gnome-terminal/pref-custom-exit.page
-share/help/tr/gnome-terminal/pref-keyboard-access.page
-share/help/tr/gnome-terminal/pref-login-shell.page
-share/help/tr/gnome-terminal/pref-menubar.page
-share/help/tr/gnome-terminal/pref-profile-char-width.page
-share/help/tr/gnome-terminal/pref-profile-encoding.page
-share/help/tr/gnome-terminal/pref-profiles.page
-share/help/tr/gnome-terminal/pref-scrolling.page
-share/help/tr/gnome-terminal/pref-tab-window.page
-share/help/tr/gnome-terminal/pref-user-input.page
-share/help/tr/gnome-terminal/pref.page
-share/help/tr/gnome-terminal/prob-reset.page
-share/help/tr/gnome-terminal/txt-copy-paste.page
-share/help/tr/gnome-terminal/txt-links.page
-share/help/tr/gnome-terminal/txt-search.page
-share/help/tr/gnome-terminal/txt-select-text.page
-share/help/uk/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/uk/gnome-terminal/app-colors.page
-share/help/uk/gnome-terminal/app-cursor.page
-share/help/uk/gnome-terminal/app-fonts.page
-share/help/uk/gnome-terminal/app-fullscreen.page
-share/help/uk/gnome-terminal/app-terminal-sizes.page
-share/help/uk/gnome-terminal/app-zoom.page
-share/help/uk/gnome-terminal/figures/gnome-terminal.png
-share/help/uk/gnome-terminal/figures/keyboard-key-search.svg
-share/help/uk/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/uk/gnome-terminal/gs-execute-commands.page
-share/help/uk/gnome-terminal/gs-tabs.page
-share/help/uk/gnome-terminal/index.page
-share/help/uk/gnome-terminal/introduction.page
-share/help/uk/gnome-terminal/legal.xml
-share/help/uk/gnome-terminal/overview.page
-share/help/uk/gnome-terminal/pref-bell.page
-share/help/uk/gnome-terminal/pref-custom-command.page
-share/help/uk/gnome-terminal/pref-custom-exit.page
-share/help/uk/gnome-terminal/pref-keyboard-access.page
-share/help/uk/gnome-terminal/pref-login-shell.page
-share/help/uk/gnome-terminal/pref-menubar.page
-share/help/uk/gnome-terminal/pref-profile-char-width.page
-share/help/uk/gnome-terminal/pref-profile-encoding.page
-share/help/uk/gnome-terminal/pref-profiles.page
-share/help/uk/gnome-terminal/pref-scrolling.page
-share/help/uk/gnome-terminal/pref-tab-window.page
-share/help/uk/gnome-terminal/pref-user-input.page
-share/help/uk/gnome-terminal/pref.page
-share/help/uk/gnome-terminal/prob-reset.page
-share/help/uk/gnome-terminal/txt-copy-paste.page
-share/help/uk/gnome-terminal/txt-links.page
-share/help/uk/gnome-terminal/txt-search.page
-share/help/uk/gnome-terminal/txt-select-text.page
-share/help/zh_CN/gnome-terminal/adv-keyboard-shortcuts.page
-share/help/zh_CN/gnome-terminal/app-colors.page
-share/help/zh_CN/gnome-terminal/app-cursor.page
-share/help/zh_CN/gnome-terminal/app-fonts.page
-share/help/zh_CN/gnome-terminal/app-fullscreen.page
-share/help/zh_CN/gnome-terminal/app-terminal-sizes.page
-share/help/zh_CN/gnome-terminal/app-zoom.page
-share/help/zh_CN/gnome-terminal/figures/gnome-terminal.png
-share/help/zh_CN/gnome-terminal/figures/keyboard-key-search.svg
-share/help/zh_CN/gnome-terminal/figures/org.gnome.Terminal.svg
-share/help/zh_CN/gnome-terminal/gs-execute-commands.page
-share/help/zh_CN/gnome-terminal/gs-tabs.page
-share/help/zh_CN/gnome-terminal/index.page
-share/help/zh_CN/gnome-terminal/introduction.page
-share/help/zh_CN/gnome-terminal/legal.xml
-share/help/zh_CN/gnome-terminal/overview.page
-share/help/zh_CN/gnome-terminal/pref-bell.page
-share/help/zh_CN/gnome-terminal/pref-custom-command.page
-share/help/zh_CN/gnome-terminal/pref-custom-exit.page
-share/help/zh_CN/gnome-terminal/pref-keyboard-access.page
-share/help/zh_CN/gnome-terminal/pref-login-shell.page
-share/help/zh_CN/gnome-terminal/pref-menubar.page
-share/help/zh_CN/gnome-terminal/pref-profile-char-width.page
-share/help/zh_CN/gnome-terminal/pref-profile-encoding.page
-share/help/zh_CN/gnome-terminal/pref-profiles.page
-share/help/zh_CN/gnome-terminal/pref-scrolling.page
-share/help/zh_CN/gnome-terminal/pref-tab-window.page
-share/help/zh_CN/gnome-terminal/pref-user-input.page
-share/help/zh_CN/gnome-terminal/pref.page
-share/help/zh_CN/gnome-terminal/prob-reset.page
-share/help/zh_CN/gnome-terminal/txt-copy-paste.page
-share/help/zh_CN/gnome-terminal/txt-links.page
-share/help/zh_CN/gnome-terminal/txt-search.page
-share/help/zh_CN/gnome-terminal/txt-select-text.page
+%%SEARCHPROVIDER%%share/gnome-shell/search-providers/gnome-terminal-search-provider.ini
 share/icons/hicolor/scalable/apps/org.gnome.Terminal.Preferences.svg
 share/icons/hicolor/scalable/apps/org.gnome.Terminal.svg
 share/icons/hicolor/symbolic/apps/org.gnome.Terminal-symbolic.svg
@@ -891,7 +109,6 @@ share/locale/xh/LC_MESSAGES/gnome-terminal.mo
 share/locale/zh_CN/LC_MESSAGES/gnome-terminal.mo
 share/locale/zh_HK/LC_MESSAGES/gnome-terminal.mo
 share/locale/zh_TW/LC_MESSAGES/gnome-terminal.mo
-share/man/man1/gnome-terminal.1.gz
-share/xdg-terminals/org.gnome.Terminal.desktop
 share/metainfo/org.gnome.Terminal.Nautilus.metainfo.xml
 share/metainfo/org.gnome.Terminal.metainfo.xml
+share/xdg-terminals/org.gnome.Terminal.desktop