Bagaimana memasang plugin pihak ketiga.
Andika Triwidada
andika@gmail.com 2013-2020, 2022, 2023
Kukuh Syafaat
syafaatkukuh@gmail.com 2016

# Plugin tambahan gedit

Installing third-party plugins gives you extra functionality that isn't available in default gedit plugins, or even the extra plugins that are part of the gedit-plugins package. An online list of third-party plugins is kept here.

Memasang suatu plugin pihak ketika melibatkan mengunduh plugin, menempatkan berkas plugin dalam direktori yang benar, dan mengaktifkan plugin.

Anda biasanya dapat mengunduh suatu plugin dari situs web plugin, tapi mungkin perlu memakai suatu program kendali revisi seperti git, bazaar, atau subversion untuk menyalin suatu repositori perangkat lunak plugin dari internet. Lihatlah dokumentasi plugin untuk informasi tentang mendapatkan plugin.

Tempatkan berkas plugin ke dalam direktori /home/namapengguna/.local/share/gedit/plugins.

Tentu saja, ganti kata namapengguna dengan nama penggunamu sendiri.

Setelah Anda menempatkan berkas pengaya ke dalam direktori yang benar, pengaya akan muncul dalam menu Preferensi. Tekan tombol menu di pojok kanan atas jendela dan pilih Preferensi Pengaya[Nama Pengaya] untuk memfungsikan plugin.

Klik Tutup.

Setelah Anda memfungsikan plugin, itu mestinya jadi siap untuk Anda pakai.

Direktori .local tersembunyi secara baku. Untuk menilik itu dan berkas tersembunyi lainnya, pilih Tilik Tampilkan Berkas Tersembunyi, atau tekan Ctrl H.

Bila direktori .local/share/gedit/plugins/ tak ada dalam sistem Anda, Anda perlu membuatnya.