Pertanyaan yang diberi tag extension

Apa itu mbstringekstensi PHP , dan apa cara terbaik untuk menginstalnya di Ubuntu

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

Ada gambar-gambar binatang yang muncul secara acak di komputer saya. Ketika saya menggerakkan mouse di atas hewan itu berubah menjadi ikon pedang, dan ketika saya mengkliknya, binatang itu menghilang tetapi setelah beberapa menit hewan lain muncul. Saya pikir ini mungkin terkait dengan Chromium...

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...

Di mana saya dapat menemukan paket Ekstensi Virtualbox untuk 14.04.1 LTS (64bit) Saya menginstal virtualbox melalui sinaptik. Versi yang diinstal adalah 4.3.10 Sepertinya saya tidak dapat menemukan paket Extension yang sesuai. Fallback saya akan menginstal langsung tetapi saya ingin tahu apakah...

Di mana ekstensi disimpan setelah dipasang ke

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...

Ketika saya membuat dokumen baru yang bertujuan hanya berisi teks biasa, saya tidak berkewajiban oleh Ubuntu untuk menambahkan ekstensi .txt ke namanya. Ia bekerja dengan sangat baik: gedit membukanya tanpa masalah, memahami dengan sangat baik bahwa itu hanya teks. Hanya dua argumen pro yang saya...

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...

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

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