This file is indexed.

/usr/share/help/es/gedit/terminal.page is in gedit-plugins 3.18.0-1.

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
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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
<?xml version="1.0" encoding="utf-8"?>
<page xmlns="http://projectmallard.org/1.0/" xmlns:its="http://www.w3.org/2005/11/its" type="topic" style="task" id="plugin-terminal" xml:lang="es">

  <info>
    <link type="guide" xref="gedit-plugin-guide#gedit-additional-plugins"/>
    <link type="seealso" xref="gedit-plugins-pyconsole"/>
    <revision pkgversion="3.8" date="2013-02-24" status="review"/>

    <credit type="author">
      <name>Jim Campbell</name>
      <email its:translate="no">jwcampbell@gmail.com</email>
    </credit>
    <credit type="author">
      <name>Sindhu S</name>
      <email its:translate="no">sindhus@live.in</email>
    </credit>

    <include xmlns="http://www.w3.org/2001/XInclude" href="legal-plugins.xml"/>

    <desc>Añadir una consola de terminal al panel inferior.</desc>
  
    <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
      <mal:name>Daniel Mustieles</mal:name>
      <mal:email>daniel.mustieles@gmail.com</mal:email>
      <mal:years>2011-2015</mal:years>
    </mal:credit>
  
    <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
      <mal:name>Jorge González</mal:name>
      <mal:email>jorgegonz@svn.gnome.org</mal:email>
      <mal:years>2006-2011</mal:years>
    </mal:credit>
  
    <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
      <mal:name>María Majadas</mal:name>
      <mal:email>maria.majadas@hispalinux.es</mal:email>
      <mal:years>2005</mal:years>
    </mal:credit>
  
    <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
      <mal:name>Milagros Alessandra Infante Montero</mal:name>
      <mal:email>maim92@gmail.com</mal:email>
      <mal:years>2013</mal:years>
    </mal:credit>
  </info>

  <title>Terminal empotrada</title>

  <p><app>gedit</app> hace que sea posible incluir una versión empotrada de la <app>Terminal de GNOME</app>, la aplicación de línea de comandos de GNOME, en el panel inferior de la ventana de <app>gedit</app>. Esto le permite ejecutar scripts, instalar software necesario o probar su programa sin salir de <app>gedit</app>.</p>

<section id="enable-embedded-terminal">
  <title>Activar la terminal empotrada</title>

  <steps>
    <title>Para activar el complemento de <app>Terminal empotrada</app>:</title>
    <item>
      <p>Seleccione <guiseq><gui style="menu">gedit</gui> <gui style="menuitem">Preferencias</gui> <gui style="tab">Complementos</gui></guiseq>.</p>
    </item>
    <item>
      <p>Seleccione <gui style="menuitem">Terminal empotrada</gui> para activar el complemento.</p>
    </item>
  </steps>

</section>

<section id="using-embedded-terminal">
  <title>Usar la terminal empotrada</title>

  <p>Una vez activado el complemento, para añadir una terminal al panel inferior:</p>

  <steps>
    <item>
      <p>Seleccione <guiseq><gui style="menu">Ver</gui> <gui style="menuitem">Panel inferior</gui></guiseq>. Alternativamente, puede pulsar <keyseq><key>Ctrl</key><key>F9</key></keyseq>.</p>
    </item>
  </steps>

</section>

</page>