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

# Plugin tambahan gedit

Memasang plugin pihak ketiga memberi Anda fungsionalitas ekstra yang tak tersedia dalam plugin gedit baku, atau bahkan plugin ekstra yang menjadi bagian dari paket gedit-plugins. Suatu daftar daring dari plugin pihak ketiga disimpan di sini.

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 PreferensiPengaya[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 TilikTampilkan Berkas Tersembunyi, atau tekan CtrlH.

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