From ba429d344132c088177e853cce8ff7181570b221 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 10 Apr 2024 19:42:51 +0200 Subject: Adding upstream version 44.2. Signed-off-by: Daniel Baumann --- help/C/gedit-plugins-external-tools.page | 37 ++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 help/C/gedit-plugins-external-tools.page (limited to 'help/C/gedit-plugins-external-tools.page') diff --git a/help/C/gedit-plugins-external-tools.page b/help/C/gedit-plugins-external-tools.page new file mode 100644 index 0000000..4d87f9c --- /dev/null +++ b/help/C/gedit-plugins-external-tools.page @@ -0,0 +1,37 @@ + + + + + + + Run scripts on your current files, and interact with other applications. + + + +External tools + +

The External Tools plugin can help simplify repetitive tasks. + Specifically, it extends gedit by helping you to run scripts on + your working files, and by allowing gedit to interact with other + programs on your computer. To enable the External Tools plugin, + select gedit + PreferencesPlugins + External Tools.

+ +
+ Configure the external tools plugin + +

Once you have enabled the plugin, you will need to configure it to suit + your needs. The configuration options are available by selecting + ToolsManage External Tools.

+ + +

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.

+
+
+ +
-- cgit v1.2.3