Tidak dapat menghapus Gnome Shell Extension

Gnome Shell 3.18.5 memberi tahu saya beberapa ekstensi yang perlu diperbarui. Saya mengunjungi https://extensions.gnome.org/local/ dari Firefox, memperbarui ekstensi Firefox, dan sekarang saya ingin menghapus instalasi beberapa ekstensi Gnome, misalnya yang berikut.

Menu Drive yang Dapat Dilepas oleh Ekstensi
sistem fmuellner

Menu status untuk mengakses dan melepas perangkat yang bisa dilepas.

Mengangkat mouse pada ekstensi Sistem , saya membaca tip alat berikut.

Ekstensi sistem harus dihapus dengan menggunakan pengelola paket. Lihat tentang halaman untuk detailnya.

The Tentang page mengatakan:

Apa itu ekstensi Sistem ? Bagaimana cara menghapusnya?

Ekstensi sistem diinstal ke lokasi seluruh sistem (biasanya / usr / share / gnome-shell / extensions). Ekstensi tersebut dapat digunakan oleh pengguna PC mana pun, namun ekstensi hanya dapat dihapus oleh administrator sistem (root). Untuk menghapus instalasi ekstensi sistem, gunakan manajer paket distro Anda atau tanyakan administrator sistem Anda.

Saya melihat melalui Synaptic tetapi tidak melihat ekstensi ini. Bagaimana cara menghapusnya?

Ini adalah ekstensi yang ingin saya hapus.

• Menu Aplikasi
• Indikator Status Tempat
• Menu Drive yang Dapat Dilepas
• Indikator ruang kerja
• Pomodoro

1. Meluncurkan gnome-tweak-tool
2. Cari "Ekstensi" di menù kanan
3. Pilih ekstensi dan klik "Hapus"

Karena tombol hapus tidak lagi tersedia di gnome-shell 3.26, satu-satunya cara yang saya tahu adalah menghapus direktori ekstensi itu sendiri.

Dengan Nautilus

1. Buka Nautilus dan tampilkan file tersembunyi (tekan CTRL+ H).
2. Buka folder rumah Anda.
3. Navigasi ke .local/share/gnome-shell/extensions
4. Hapus direktori ekstensi yang tidak diinginkan.
5. Muat ulang gnome-shell. Tekan ALT+ F2, ketik rdan tekan ENTER.

Cara macho

1. Buka konsol.
2. Buka direktori ekstensi: cd ~/.local/share/gnome-shell/extensions
3. Daftar ekstensi dan dapatkan nama ekstensi yang tidak diinginkan: ls -l
4. Hapus direktori ekstensi: rm -r extension@author
5. Muat ulang gnome-shell. Tekan ALT+ F2, ketik rdan tekan ENTER.

Ada dua folder untuk ekstensi gnome-shell:

1. ~/.local/share/gnome-shell/extensions untuk sisi pengguna
2. /usr/share/gnome-shell/extensions untuk sisi sistem

Buka perangkat lunak -> add-on, Anda akan melihat ekstensi Anda di sana, cukup hapus saja.

Michael,

Saya memiliki masalah yang sama dengan ekstensi yang sama. Masalahnya adalah mereka "System Extensions" dan tidak di lokasi normal ~/.local/share/gnome-shell/extensionsseperti yang dikatakan orang lain. Sebagai gantinya, "Ekstensi Sistem" diinstal di /usr/share/gnome-shell/extensions.

Untuk menghapus:

cd /usr/share/gnome-shell/extensions
sudo rm -rf [email protected]

Ulangi seperlunya.

Terakhir, Anda ingin memuat ulang shell: Alt+F2 r

Buka https://extensions.gnome.org/local . Instal konektor asli Chrome / Firefox untuk Ekstensi GNOME, dan kemudian Anda akan melihat ekstensi GNOME Anda tercantum pada halaman itu. Dari sana Anda dapat menghapusnya dan mengonfigurasinya tanpa menghapus file secara manual.

sederhana, memiliki masalah yang sama, gunakan yum untuk mendaftar paket yang diinstal:

sudo yum list installed gnome-shell*

lihat ekstensi tertentu dalam paket yang diinstal dan hapus:

sudo yum remove <your extension>

Logout dan log in