Pertanyaan yang diberi tag «gnome-shell-extension»

Bagaimana cara saya menginstal ekstensi GNOME Shell? Apakah mungkin untuk memperbarui, menghapus, dan mengelola ekstensi?

96 software-installation  gnome-shell-extension  gnome-shell 

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 gnome-shell-extensions.

59 themes  gnome-shell  gnome-shell-extension 

Bagaimana saya bisa menyembunyikan bilah teratas di Gnome 3.28 Ubuntu 18.04? Bagaimana cara ekstensi hide-top-bar diinstal?

35 gnome-shell  gnome-shell-extension  gnome-tweak-tool  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 gigih. Terima kasih Memperbarui Hari ini Ubuntu 13.10 …

35 gnome-shell  gnome-shell-extension 

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 git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git fatal: repository 'git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git' does not exist

35 gnome-shell  gnome-shell-extension  activities-overview 

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 memiliki …

32 18.04  workspaces  gnome-shell  gnome-shell-extension  workspace-switcher 

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

27 command-line  gnome  gnome-shell-extension 

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 .desktopfile khusus ? (Saya tahu …

26 gnome  gnome-shell  gnome-shell-extension  ubuntu-dock  show-desktop 

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 ~/.local/share/gnome-shell/extensions/?

26 12.04  gnome  gnome-shell  gnome-shell-extension 

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 untuk menghapusnya sepenuhnya dan menggunakan default gnome. Sunting: …

25 gnome-shell  ubuntu-dock  gnome-shell-extension 

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 mendapatkan akses internet di luarnya, jadi saya harus mencari cara …

23 gnome  gnome-shell  gnome-shell-extension 

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 menemukan dokumentasi untuk impor ekstensi, atau segala jenis …

22 development  gnome-shell-extension 

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 pengaturan seperti itu di Pusat Kontrol GNOME. …

20 17.10  gnome-shell-extension  gnome-shell  ubuntu-dock 

Urutan widget ekstensi shell tampaknya acak, bagaimana saya bisa mengubahnya? Saya ingin memiliki informasi tanggal / waktu di sebelah kiri misalnya. Panel shell saya:

18 14.04  gnome  gnome-shell  gnome-shell-extension 

Bagaimana cara saya mendapatkan informasi lebih lanjut mengapa ekstensi spesifik tidak berfungsi dan menunjukkan kepada saya "Kesalahan saat memuat ekstensi" ketika mencoba mengaktifkannya?

18 gnome-shell  gnome-shell-extension