Ekstensi GNOME Shell adalah cuplikan kecil yang memperluas fungsionalitas dan fitur GNOME Shell. Cuplikan ini ditulis dalam JavaScript dan CSS.
Bagaimana cara saya menginstal ekstensi GNOME Shell? Apakah mungkin untuk memperbarui, menghapus, dan mengelola
Di Alat Gnome Tweak, saya tidak dapat mengubah tema Shell: Melayang di atas tanda seru menunjukkan berikut alat-tip: Shell user-theme extension not enabled. Saya menggunakan Ubuntu 14.10, dan telah menginstal
Shell GNOME memiliki fitur yang disebut "sudut panas", yang membuka dasbor jika mouse menyentuh sudut kiri atas layar monitor. Saya ingin ini dinonaktifkan Saya dulu memiliki ekstensi shell GNOME, namun repositori tidak ditemukan lagi: git clone
Bagaimana saya bisa menyembunyikan bilah teratas di Gnome 3.28 Ubuntu 18.04? Bagaimana cara ekstensi hide-top-bar
Saya menjalankan Ubuntu Gnome 13.10 dengan Gnome 3.10. Masalah saya adalah bahwa setiap kali saya reboot OS semua ekstensi shell dimatikan. Yang aneh adalah bahwa pengaturan mereka disimpan. Mereka dimatikan dan saya harus mengaktifkannya kembali setiap waktu. Bagaimana saya bisa membuat mereka...
Deskripsi masalah Saya sangat suka ruang kerja 2 per 2 di Ubuntu 16.04. Tapi sepertinya saya hanya bisa menggeser ruang kerja ke atas dan ke bawah. Apakah ada cara untuk mencapai ini? Apa yang saya coba Sudah mencoba ekstensi GNOME yang disebut Workspace Grid (disarankan di sini: Dapatkah saya...
Katakanlah saya telah berhasil menginstal set ekstensi gnome-shell saya. Tapi saya ingin menonaktifkan / menonaktifkan dari baris perintah. Ini hanya dimungkinkan melalui aksi mouse, AFAIK. Bagaimana saya bisa melakukan
Saya bermigrasi dari Unity ke GNOME. Satu item yang saya lewatkan adalah tombol "Tampilkan desktop" (alias "perkecil semua jendela") di dasbor. Bagaimana saya bisa menambahkan fungsi ini ke dasbor GNOME (atau dermaga Ubuntu di Ubuntu 17.10 dan yang lebih baru), bahkan jika itu berarti membuat...
Saya menjalankan gnome-shell 3.4.1 di bawah Ubuntu 12.04. Saya telah mencoba berbagai ekstensi dari http://extensions.gnome.org dan sekarang saya ingin menghapus seluruhnya, terutama agar tidak mengambil ruang di Alat Gnome Tweak. Apakah aman untuk hanya menghapus folder ekstensi di bawah...
Dermaga besar di sebelah kiri. Di versi lain, Anda dapat menghindari peluncur persatuan dengan pergi ke gnome, bagaimana sekarang? Gnome tweak tidak menunjukkannya sebagai ekstensi, meskipun terlihat sangat mirip dash to dock. Saya melihat opsi autohide dalam pengaturan, tetapi tidak ada cara...
Saya tahu cara membuka situs web https://extensions.gnome.org/ dan mengunduh ekstensi gnome-shell, tetapi sekarang saya harus menginstal beberapa ekstensi yang tersedia di sana di komputer tanpa akses internet sama sekali. Itu ada di jaringan internal perusahaan dan tidak mungkin saya bisa...
Saya telah ingin mengembangkan beberapa ekstensi Gnome Shell karena hanya dalam javascript, namun saya telah mencari dan praktis tidak ada dokumentasi, di mana-mana saya melihat orang mengatakan untuk menggunakan dokumentasi dasar Gnome, tetapi ini TIDAK membantu, saya tidak bisa, saya bisa tidak...
Ubuntu 17.10 memperkenalkan GNOME Shell dengan Dock Ubuntu (berdasarkan Dash ke Dock, ekstensi GNOME Shell) dan memungkinkan Anda untuk meletakkan Dock di bagian bawah desktop: Namun, tidak ada cara mudah untuk memindahkan ikon Tampilkan Aplikasi (diperlihatkan di kanan) ke kiri Dock. Tidak ada...
Urutan widget ekstensi shell tampaknya acak, bagaimana saya bisa mengubahnya? Saya ingin memiliki informasi tanggal / waktu di sebelah kiri misalnya. Panel shell
Bagaimana cara saya mendapatkan informasi lebih lanjut mengapa ekstensi spesifik tidak berfungsi dan menunjukkan kepada saya "Kesalahan saat memuat ekstensi" ketika mencoba
Atau mengotomatiskan pembaruan? Atau hapus / nonaktifkan pemberitahuan pembaruan? Itu tidak ada dalam daftar "ekstensi yang diinstal" dan menginstal ulang itu tidak membantu. Di mana file-nya
Pada instalasi Ubuntu yang baru (12,04, 64-bit), setelah menginstal gnome-shell, saya sudah mencoba menginstal beberapa ekstensi dari extensions.gnome.org tetapi tidak mendapatkan hasil. Saya sudah mencoba dengan Firefox dan Chromium dan mendapat masalah yang sama. Buka halaman ekstensi apa saja...
Apa yang terjadi di sini? Saya telah menginstal ekstensi Dash to Dock di Ubuntu 17.10. Semuanya keren, dan ketika saya mencoba untuk mengasah dan mengubah tampilan desktop saya, pada beberapa titik bilah pintas (dock?) Di sebelah kiri digandakan. Standarnya, yang biasanya hilang dengan Dash to...
Saya tahu pertanyaan yang terdengar seperti ini telah diajukan sebelumnya, tetapi tidak ada "solusi" yang bekerja untuk saya. Saya menggunakan opsi Gnome Classic . Saya tidak dapat menemukan ekstensi yang melakukan apa yang saya inginkan. Saya tidak dapat menemukan entri untuk gnome-paneldi...
Kadang-kadang saya mendapat pesan yang mengatakan ada pembaruan untuk salah satu ekstensi GNOME Shell saya, mengarahkan saya ke https://extensions.gnome.org/local/ di mana saya dapat memicu pembaruan melalui antarmuka web. Saya lebih suka meminta pembaruan dari baris perintah, mirip dengan...