help/C/gedit-plugins-external-tools.page


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

<page xmlns="http://projectmallard.org/1.0/"
      type="topic" style="task"
      id="gedit-plugins-external-tools">

<!-- TODO: Provide an example or two about using external tools -->

<info>
  <link type="guide" xref="gedit-plugin-guide#gedit-default-plugins"/>
  <desc>Run scripts on your current files, and interact with other applications.</desc>
  <!--INFOAT: https://wiki.gnome.org/Apps/Gedit/Plugins/ExternalTools -->
</info>

<title>External tools</title>

  <p>The <em>External Tools</em> plugin can help simplify repetitive tasks.
  Specifically, it extends <app>gedit</app> by helping you to run scripts on
  your working files, and by allowing <app>gedit</app> to interact with other
  programs on your computer. To enable the <app>External Tools</app> plugin,
  select <guiseq><gui style="menu">gedit</gui>
  <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
  <gui>External Tools</gui></guiseq>.</p>

  <section id="plugin-config-external-tools">
    <title>Configure the external tools plugin</title>

  <p>Once you have enabled the plugin, you will need to configure it to suit
  your needs. The configuration options are available by selecting
  <guiseq><gui>Tools</gui><gui>Manage External Tools</gui></guiseq>.</p>
  
  <note style="caution">
    <p>This plugin is for advanced users, and requires knowledge of scripting
    to be used effectively. Use this plugin with care, as mistakes with your
    scripts can affect your work in unintended ways.</p>
  </note>
  </section>

</page>