文件操作 - gedit-plugins-install.page

文件: /usr/share/help/de/gedit/gedit-plugins-install.page

编辑文件内容

<?xml version="1.0" encoding="utf-8"?>
<page xmlns="http://projectmallard.org/1.0/" type="topic" style="task" id="gedit-plugins-install" xml:lang="de">
 <info>
 <link type="guide" xref="gedit-plugin-guide#gedit-additional-plugins"/>
 <revision pkgversion="3.8" date="2013-02-24" status="review"/>
 <credit type="author">
 <name>Jim Campbell</name>
 <email>jcampbell@gnome.org</email>
 </credit>
 <credit type="author">
 <name>Daniel Neel</name>
 <email>dneelyep@gmail.com</email>
 </credit>
 <desc>Installieren von Drittanbieter-Plugins.</desc>
 
 <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
 <mal:name>Jan Arne Petersen</mal:name>
 <mal:email>jap@gnome.org</mal:email>
 <mal:years>2007</mal:years>
 </mal:credit>
 
 <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
 <mal:name>Mario Blättermann</mal:name>
 <mal:email>mario.blaettermann@gmail.com</mal:email>
 <mal:years>2008-2013</mal:years>
 </mal:credit>
 
 <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
 <mal:name>Christian Kirbach</mal:name>
 <mal:email>christian.kirbach@gmail.com</mal:email>
 <mal:years>2011-2017</mal:years>
 </mal:credit>
 
 <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
 <mal:name>Benjamin Steinwender</mal:name>
 <mal:email>b@stbe.at</mal:email>
 <mal:years>2014-2015</mal:years>
 </mal:credit>
 </info>

<title>Zusätzliche gedit-Plugins</title>

Durch Installation von Plugins von Drittanbietern wird zusätzliche Funktionalität ermöglicht, die standardmäßig nicht in <app>gedit</app> oder den zusätzlichen Plugins im Paket <app>gedit-plugins</app> enthalten sind. Eine Online-Liste solcher Plugins finden Sie <link href="https://wiki.gnome.org/Apps/Gedit">hier</link>.
 
 Um ein Drittanbieter-Plugin zu installieren, müssen Sie es herunterladen, die Dateien am richtigen Ort platzieren und das Plugin aktivieren.
 
 <steps>
 <item>Üblicherweise können Sie ein Plugin von dessen Webseite herunterladen, wofür eventuell ein Versionsverwaltungsprogramm wie <app>git</app>, <app>bazaar</app> oder <app>subversion</app> nötig sein könnte, um den Softwarebestand des Plugins aus dem Internet kopieren zu können. Schauen Sie für weitere Informationen in der Dokumentation zu dem Plugin nach.</item>
 <item>Kopieren Sie die Plugindateien in den Ordner <file>/home/<var>Benutzername</var>/.local/share/gedit/plugins</file>.
 Natürlich müssen Sie das Wort <var>Benutzername</var> durch Ihren eigenen Benutzernamen ersetzen.</item>
 <item>Sobald Sie die Plugin-Dateien im richtigen Ordner installiert haben, erscheint das Plugin im Einstellungsmenü. Wählen Sie <guiseq><gui>Bearbeiten</gui><gui style="menuitem">Einstellungen</gui><gui>Plugins</gui><gui>[Name des Plugins]</gui></guiseq>, um es zu aktivieren.</item>
 <item>Klicken Sie auf <gui>Schließen</gui>.</item>
 </steps>
 
 Sobald Sie das Plugin aktiviert haben, sollte es direkt verwendbar sein.
 
 <note style="tip">
 Der Ordner <file>.local</file> ist standardmäßig verborgen. Um ihn und andere verborgene Dateien sichtbar zu machen, wählen Sie <guiseq><gui>Ansicht</gui><gui>Verborgene Dateien anzeigen</gui></guiseq> oder drücken Sie <keyseq><key>Strg</key><key>H</key></keyseq>.
 </note>

<note style="tip">
 Falls der Ordner <file>.local/share/gedit/plugins/</file> in Ihrem System nicht existiert, müssen Sie ihn erstellen.
 </note>
 
</page>

文件操作 - gedit-plugins-install.page

文件: /usr/share/help/de/gedit/gedit-plugins-install.page

编辑文件内容

修改文件时间

删除文件