Pertanyaan yang diberi tag «gnome-shell-extension»

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 berada?

17 updates  gnome-shell-extension 

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 dconfEditor saya Tolong bantu saya. Saya menginstal Gnome …

16 14.04  gnome  gnome-panel  gnome-shell-extension 

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 di extensions.gnome.org. Alihkan ekstensi ke "ON". Setuju dengan konfirmasi tentang instalasi. …

16 gnome  gnome-shell-extension 

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 Dock, ada di bawahnya yang …

16 17.10  gnome-shell  ubuntu-dock  gnome-shell-extension  dock 

Di Gnome-shell kita tidak memiliki compiz lagi? Di KDE4 kita memiliki efek desktop asli, saya ingin tahu apakah Gnome-shell yang akan kita butuhkan dari compiz.

14 gnome  effects  gnome-shell-extension 

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 menelepon apt update && apt upgrade. Bagaimana saya bisa melakukan ini?

14 command-line  updates  gnome-shell-extension 

Saya memutakhirkan Dell Optiplex 9010 saya ke Ubuntu 18.04 dari Ubuntu 16.04. Tidak ada ekstensi-browser-web GNOME saya (yang digunakan untuk mengelola dan menginstal ekstensi) yang berfungsi, baik yang saya instal di Chromium, Chrome, atau Firefox. Ini hanya terjadi sejak upgrade saya dari 16,04 ke 18,04. Inilah yang saya lihat di …

13 firefox  google-chrome  chromium  gnome-shell  gnome-shell-extension 

Daftar ini sekarang lebih atau kurang digantikan oleh https://extensions.gnome.org/ di mana ekstensi dapat satu klik dipasang dan dikonfigurasi. Ada beberapa add-on untuk gnome-shell. Tolong bantu saya mengkompilasi daftar addon existiong Saya telah menjawab pertanyaan saya dengan menambahkan ekstensi yang saya tahu sebagai jawaban. Karena ada banyak ekstensi, setiap jawaban tunggal …

12 gnome  themes  gnome-shell  gnome-shell-extension 

Beberapa ekstensi shell GNOME saya tidak membiarkan saya mengkonfigurasi fitur-fiturnya karena saya menerima pesan kesalahan ketika saya mencoba membukanya. Gambar berikut adalah apa yang saya lihat ketika saya mencoba membuka konfigurasi ekstensi " Dialog Pencarian Web ": Pesan di kotak putih adalah ini: Error: Requiring Clutter, version none: Typelib file …

12 18.04  error-handling  gnome-shell-extension  javascript  clutter 

Hari ini saya melihat artikel tentang ekstensi untuk GNOME Shell, jadi itu membuat saya memikirkan beberapa pertanyaan yang mungkin berlaku untuk banyak pengguna di Unity: Apakah ekstensi GNOME Shell kompatibel dengan Unity? Bisakah saya menginstalnya langsung ke Unity dari situs web https://extensions.gnome.org/ ? Dalam kasus 2 TIDAK, apakah ada ide …

10 unity  gnome  extension  gnome-shell-extension 

Saya menjalankan Ubuntu 14.10 dengan Gnome 3.14 dari Gnome 3 PPA. Saya memiliki masalah terus-menerus selama sekitar satu tahun sekarang di mana setiap kali saya logout, saya kehilangan semua ekstensi yang diaktifkan selain dari Media Player. Sebelumnya saya berhasil menyiasatinya dengan mengaktifkan setiap ekstensi saat memulai menggunakan "gnome-session-manager", tetapi ini …

10 gnome  gnome-shell  gnome-shell-extension 

Di Ubuntu 17.10 ikon baki kanan (mis. Telegram, Skype dll.) Sangat kecil, dan gnome-shell-extension-top-icons-plustidak berfungsi di 17.10. Bagaimana saya bisa memperbaikinya?

9 17.10  panel  gnome-shell  gnome-shell-extension  notification-area 

Saya baru saja menginstal Ubuntu 16.04 dan Gnome shell 3.18.5. Saya baru mengenal keseluruhan 'ekstensi Gnome Shell' (saya menggunakan browser saya untuk menginstal ekstensi buatan pengguna?) .. Jadi, pertama kali saya mengakses https://extensions.gnome.org Saya pikir saya dapat menginstal ekstensi, tetapi sekarang ia memperlihatkan kepada saya pesan (misalnya ketika saya menavigasi …

9 gnome  gnome-shell-extension 

GNOME Shell secara default memiliki notifikasi di bagian bawah. Sayangnya, saya suka menggunakan dasbor untuk berlabuh dan menempelkannya di bagian bawah. Berarti saya tidak bisa melihat notifikasi lagi. Adakah cara untuk mengubah lokasi pemberitahuan ke tempat lain di layar?

9 gnome  gnome-shell-extension 

Di Ubuntu 16.04 saya menginstal plugin Compiz dengan alternatif alt- tabswitcher yang memiliki fitur bagus yang sampai saya melepaskan Altkunci, itu menyembunyikan semua jendela lain dan hanya menunjukkan satu yang saya akan beralih ke. Ini sangat berguna ketika seseorang memiliki banyak terminal terbuka yang tidak terlihat berbeda dengan preview yang …

9 18.04  gnome-shell  gnome-shell-extension  application-switcher