Jim Campbell
jwcampbell@gmail.com
Daniel Neel
dneelyep@gmail.com
Bagaimana memasang plugin pihak ketiga
Andika Triwidada
andika@gmail.com 2013, 2014

# 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 plugin ke dalam direktori yang benar, plugin akan muncul dalam menu Preferensi. Pilih Sunting Preferensi Plugin [Nama Plugin] 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.