Pertanyaan yang diberi tag «gnome-shell-extension»

Saya suka menjalankan beberapa skrip untuk menginstal paket secara otomatis dan melakukan beberapa konfigurasi pada instalasi OS baru. Saya menggunakan gnome shell dengan beberapa ekstensi dan berpikir untuk meningkatkan skrip saya untuk mengkonfigurasinya. Saya biasanya mengkonfigurasi ekstensi menggunakan gnome-shell-extension-prefs atau dconf-editor dan saya tahu cara mengedit skema lain dari baris …

9 gsettings  gnome-shell-extension  gnome-shell 

Saya menemukan ekstensi GNOME melalui pencarian Google (menggunakan Chromium), dan sangat terkejut bahwa saya dapat dengan mudah mengaktifkan sakelar Nyala / Mati untuk membuat situs web menginstal ekstensi GNOME penuh di komputer saya tanpa melibatkan langkah manual lainnya. (diuji, ini berfungsi dengan Firefox juga.) Memang, itu muncul kotak dialog yang …

9 gnome  security  gnome-shell  gnome-shell-extension  extension 

Saya punya sedikit masalah dengan ekstensi gnome shell. Setelah menginstal beberapa dari mereka, saya mengerti saya tidak suka mereka dan memutuskan untuk menghapusnya. Ekstensi itu sendiri (foldernya di /home/username/.local/share/gnome-shell/extensions) berhasil dihapus. Namun, ekstensi yang dihapus tidak dihapus dari daftar ekstensi yang dipasang di extensions.gnome.org . Mereka juga tidak dihapus dari …

8 gnome  gnome-shell-extension 

Menjalankan Ubuntu 12.04 dengan Gnome Shell 3.4 . Setelah mengaktifkan ekstensi panel Bawah (untuk menghapus baki Pesan menjengkelkan / panel bawah / sudut panas di bagian bawah; Anda tahu apa yang saya bicarakan (:), masih ada "setengah" pesan pop-up setelah menambahkan drive USB. Yah, maaf , tidak tahu bagaimana menjelaskannya …

8 gnome  gnome-shell  panel  gnome-shell-extension  messaging-tray 

Saya mengalami sedikit kesulitan untuk menjalankan gnome-shell sejak saya menginstal ekstensi (saya tidak tahu yang mana) di 11.10. Jadi yang ingin saya ketahui adalah: Bagaimana saya bisa sepenuhnya menghapus SEMUA yang berhubungan dengan gnome-shell (semua ekstensi, gnome-tweak-tool, dll.), Semuanya - jadi saya bisa mulai segar dan menginstal ulang semuanya dengan …

8 gnome  11.10  gnome-shell  gnome-shell-extension