diff options
Diffstat (limited to 'x11/gnome-terminal')
| -rw-r--r-- | x11/gnome-terminal/Makefile | 45 | ||||
| -rw-r--r-- | x11/gnome-terminal/distinfo | 6 | ||||
| -rw-r--r-- | x11/gnome-terminal/files/patch-src_meson.build | 11 | ||||
| -rw-r--r-- | x11/gnome-terminal/pkg-plist | 791 |
4 files changed, 42 insertions, 811 deletions
diff --git a/x11/gnome-terminal/Makefile b/x11/gnome-terminal/Makefile index 088795854160..c5af563ce075 100644 --- a/x11/gnome-terminal/Makefile +++ b/x11/gnome-terminal/Makefile @@ -1,48 +1,51 @@ PORTNAME= gnome-terminal -DISTVERSION= 3.54.4 +DISTVERSION= 3.56.2 CATEGORIES= x11 gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome MAINTAINER= gnome@FreeBSD.org COMMENT= Terminal component for the GNOME Desktop -WWW= https://www.gnome.org/ +WWW= https://gitlab.gnome.org/GNOME/gnome-terminal -LICENSE= GPLv3+ -LICENSE_FILE= ${WRKSRC}/COPYING +LICENSE= GFDL GPLv3+ +LICENSE_COMB= multi +LICENSE_FILE_GPLv3+ = ${WRKSRC}/COPYING +LICENSE_FILE_GFDL= ${WRKSRC}/COPYING.GFDL BUILD_DEPENDS= docbook-xsl>0:textproc/docbook-xsl \ - gsettings-desktop-schemas>=0:devel/gsettings-desktop-schemas \ - itstool:textproc/itstool \ - xsltproc:textproc/libxslt -LIB_DEPENDS= libpcre2-8.so:devel/pcre2 \ - libuuid.so:misc/e2fsprogs-libuuid \ - libhandy-1.so:x11-toolkits/libhandy -RUN_DEPENDS= gsettings-desktop-schemas>=0:devel/gsettings-desktop-schemas + gsettings-desktop-schemas>0:devel/gsettings-desktop-schemas \ + itstool:textproc/itstool +LIB_DEPENDS= libhandy-1.so:x11-toolkits/libhandy \ + libuuid.so:misc/libuuid +RUN_DEPENDS= gsettings-desktop-schemas>0:devel/gsettings-desktop-schemas -PORTSCOUT= limitw:1,even - -USES= cpe gettext gnome localbase meson pathfix pkgconfig python \ +USES= cpe gettext-tools gnome localbase meson pkgconfig python \ tar:xz vala:build xorg -USE_GNOME= cairo dconf gdkpixbuf gtk30 intltool vte3 +USE_GNOME= cairo gtk30 vte3 libxslt:build USE_XORG= x11 CPE_VENDOR= gnome +MESON_ARGS= -Ddocs=false + GLIB_SCHEMAS= org.gnome.Terminal.gschema.xml BINARY_ALIAS= python3=${PYTHON_CMD} -OPTIONS_DEFINE= NAUTILUS -OPTIONS_DEFAULT= NAUTILUS +OPTIONS_DEFINE= NAUTILUS SEARCHPROVIDER OPTIONS_SUB= yes -MESON_ARGS= -Dsearch_provider=true +SEARCHPROVIDER_DESC= GNOME Shell search provider +SEARCHPROVIDER_MESON_TRUE= search_provider +SEARCHPROVIDER_BUILD_DEPENDS= gnome-shell:x11/gnome-shell +SEARCHPROVIDER_RUN_DEPENDS= gnome-shell:x11/gnome-shell NAUTILUS_MESON_TRUE= nautilus_extension -NAUTILUS_USE= GNOME=nautilus3 +NAUTILUS_USE= GNOME=nautilus4 NAUTILUS_DESC= Open in terminal extension for nautilus -post-install: - ${RM} -r ${STAGEDIR}${PREFIX}/lib/systemd +post-patch: + ${REINPLACE_CMD} -e 's|SystemdService|#SystemdService|' \ + ${WRKSRC}/src/org.gnome.Terminal.service.in .include <bsd.port.mk> diff --git a/x11/gnome-terminal/distinfo b/x11/gnome-terminal/distinfo index 78393c089db8..b4babcf92cfa 100644 --- a/x11/gnome-terminal/distinfo +++ b/x11/gnome-terminal/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1741852785 -SHA256 (gnome/gnome-terminal-3.54.4.tar.xz) = 443a80689337108e4b190399969e66aba041cc3c63bb99c5738525d528b132b8 -SIZE (gnome/gnome-terminal-3.54.4.tar.xz) = 2010660 +TIMESTAMP = 1751409847 +SHA256 (gnome/gnome-terminal-3.56.2.tar.xz) = 235bc09dfa34cc5f1e95122e9bf60203a84daf861cfacf7e4496c5f548239978 +SIZE (gnome/gnome-terminal-3.56.2.tar.xz) = 2007732 diff --git a/x11/gnome-terminal/files/patch-src_meson.build b/x11/gnome-terminal/files/patch-src_meson.build new file mode 100644 index 000000000000..db47a1434adf --- /dev/null +++ b/x11/gnome-terminal/files/patch-src_meson.build @@ -0,0 +1,11 @@ +--- src/meson.build.orig 2023-09-12 16:17:28 UTC ++++ src/meson.build +@@ -295,7 +295,7 @@ configure_file( + input: gt_name + '-server.service.in', + output: gt_name + '-server.service', + configuration: server_conf, +- install: true, ++ install: false, + install_dir: gt_prefix / gt_systemduserdir, + install_tag: 'runtime', + ) 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 |