diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-10 17:42:51 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-10 17:42:51 +0000 |
commit | ba429d344132c088177e853cce8ff7181570b221 (patch) | |
tree | 87ebf15269b4301737abd1735baabba71be93622 /help/C/gedit-plugins-install.page | |
parent | Initial commit. (diff) | |
download | gedit-ba429d344132c088177e853cce8ff7181570b221.tar.xz gedit-ba429d344132c088177e853cce8ff7181570b221.zip |
Adding upstream version 44.2.upstream/44.2upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | help/C/gedit-plugins-install.page | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/help/C/gedit-plugins-install.page b/help/C/gedit-plugins-install.page new file mode 100644 index 0000000..b76ba6a --- /dev/null +++ b/help/C/gedit-plugins-install.page @@ -0,0 +1,55 @@ +<page xmlns="http://projectmallard.org/1.0/" + type="topic" style="task" + id="gedit-plugins-install"> + <info> + <link type="guide" xref="gedit-plugin-guide#gedit-additional-plugins"/> + <desc>How to install third-party plugins.</desc> + </info> + + <title>Additional gedit plugins</title> + + <p>Installing third-party plugins gives you extra functionality that isn't + available in default <app>gedit</app> plugins, or even the extra plugins that + are part of the <app>gedit-plugins</app> package. An online list of + third-party plugins is + <link href="https://wiki.gnome.org/Apps/Gedit">kept here</link>. + </p> + + <p>Installing a third-party plugin involves downloading the plugin, placing + the plugin files in the right directory, and activating the plugin.</p> + + <steps> + <item><p>You can usually download a plugin from the plugin's website, but + may need to use a revision-control program like <app>git</app>, <app> + bazaar</app>, or <app>subversion</app> to copy a plugin's software + repository from the internet. Refer to the plugin's documentation for + information on getting the plugin.</p></item> + <item><p>Place the plugin files into the + <file>/home/<var>username</var>/.local/share/gedit/plugins</file> directory. + </p> + <p>Of course, replace the word <var>username</var> with your own username. + </p></item> + <item><p>After you have placed the plugin files into the correct directory, + the plugin will appear in the Preferences menu. Press the menu button in the + top-right corner of the window and select <guiseq><gui style="menuitem"> + Preferences</gui><gui style="tab">Plugins</gui><gui>[Name of Plugin]</gui> + </guiseq> to enable the plugin.</p></item> + <item><p>Click <gui>Close</gui>.</p></item> + </steps> + + <p>After you have enabled the plugin, it should be available for you to use. + </p> + + <note style="tip"> + <p>The <file>.local</file> directory is hidden by default. To view it and + other hidden files, select <guiseq><gui>View</gui><gui>Show Hidden + Files</gui></guiseq>, or press <keyseq><key>Ctrl</key><key>H</key></keyseq>. + </p> + </note> + + <note style="tip"> + <p>If the directory <file>.local/share/gedit/plugins/</file> is not + present on your system, you will need to create it.</p> + </note> + +</page> |