/usr/share/help/C/gnome-terminal/pref.page is in gnome-terminal-data 3.28.1-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | <page xmlns="http://projectmallard.org/1.0/"
type="guide" style="2column task"
id="pref">
<info>
<revision version="0.1" date="2013-03-02" status="draft"/>
<credit type="author">
<name>Ekaterina Gerasimova</name>
<email>kittykat3756@gmail.com</email>
</credit>
<include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
<desc></desc>
</info>
<title><app>Terminal</app> preferences</title>
<section id="global" style="2column">
<title>Global Preferences</title>
</section>
<section id="manage-profiles" style="2column">
<title>Manage Profiles</title>
</section>
<section id="profile" style="2column">
<title>Profile Preferences</title>
</section>
</page>
|