Tahukah Anda bahwa GNOME Shell menyembunyikan aplikasi konfigurasi Ekstensi GNOME yang sangat berguna?
gnome-shell-extension-prefs utilitas memungkinkan Anda mengonfigurasi dan mengubah preferensi ekstensi GNOME favorit Anda tanpa perlu membuka halaman 'Ekstensi Terpasang' di situs web Ekstensi GNOME resmi di browser web yang kompatibel.
Meliputi pembaruan Dash to Dock terbaru, kami belajar bahwa tidak semua orang tahu bahwa preferensi ekstensi GNOME dapat diubah secara lokal. Alat ini sempurna untuk siapa saja yang bosan membuka browser kapan pun mereka ingin menonaktifkan atau mengaktifkan ekstensi, atau cukup menyesuaikan preferensinya.
Sekarang, ketika saya mengatakan aplikasi itu disembunyikan, yang saya maksud adalah aplikasi itu tidak mudah ditemukan. Anda tidak akan menemukan ikon aplikasi untuk itu di Ringkasan Aktivitas, atau entri menu untuknya di sesuatu seperti ekstensi Menu Aplikasi. Tanpa mengetahui keberadaannya, Anda mungkin tidak akan pernah menemukannya sama sekali!
Untuk meluncurkan alat konfigurasi, buka jendela terminal baru (atau tekan Alt + F2) dan jalankan:
gnome-shell-extension-prefs
Untuk mengaksesnya dengan lebih mudah di masa mendatang, Anda dapat menggunakan aplikasi editor menu favorit untuk membuat entri peluncur khusus untuknya.
Namun, jika Anda malas seperti saya, cukup luncurkan utilitas dari baris perintah lalu “sematkan” ke favorit Anda di aplikasi Dash to Dock:
Tip kecil, namun bermanfaat, untuk penggemar ekstensi Shell GNOME.