1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
# Copyright © 2019, 2020, 2021 Christian Persch
#
# This programme is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or (at your
# option) any later version.
#
# This programme is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
# See the GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this programme. If not, see <https://www.gnu.org/licenses/>.
help_media = [
'figures/gnome-terminal.png',
'figures/keyboard-key-search.svg',
'figures/org.gnome.Terminal.svg',
]
help_pages = [
'adv-keyboard-shortcuts.page',
'app-colors.page',
'app-cursor.page',
'app-fonts.page',
'app-fullscreen.page',
'app-terminal-sizes.page',
'app-zoom.page',
'gs-execute-commands.page',
'gs-tabs.page',
'index.page',
'introduction.page',
'legal.xml',
'overview.page',
'pref.page',
'pref-bell.page',
'pref-custom-exit.page',
'pref-custom-command.page',
'pref-keyboard-access.page',
'pref-login-shell.page',
'pref-menubar.page',
'pref-profiles.page',
'pref-profile-char-width.page',
'pref-profile-encoding.page',
'pref-scrolling.page',
'pref-tab-window.page',
'pref-user-input.page',
'prob-reset.page',
'txt-copy-paste.page',
'txt-links.page',
# https://gitlab.gnome.org/GNOME/gnome-terminal/issues/71 :
# 'txt-save-text.page',
'txt-search.page',
'txt-select-text.page',
]
gnome.yelp(
gt_name,
media: help_media,
sources: help_pages,
)
|
