Ekstensi shell Gnome dinonaktifkan setelah reboot

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 sekarang telah menghilang dari Gnome 3.14 karena telah diganti dengan opsi klik kanan pada dasbor. Saya juga mencoba mengatur sesi boot saya menjadi "sesi default" yang telah berhasil bagi sebagian orang sebagai solusi.

Sekarang tampaknya tidak ada solusi untuk masalah Gnome yang sangat menjengkelkan dan persisten ini. Ini telah menjadi masalah yang mengintai selama setidaknya satu tahun sekarang dengan banyak pengguna yang terpengaruh dan tidak ada apa-apa selain beban saat boot yang ditawarkan. Bagaimana bug kronis dapat didiamkan selama lebih dari setahun sejujurnya berada di luar jangkauan saya.

Adakah yang punya ide baru untuk solusi yang lebih permanen untuk bug Gnome ini?

Stephen

Inilah solusi dari semangat jawaban ini . Ini bekerja setidaknya untuk 3,12. Idenya adalah untuk mengekspor daftar ekstensi yang Anda inginkan aktif, kemudian menulis skrip yang mengaktifkannya saat boot.

Mendapatkan daftar ekstensi

Pertama, aktifkan ekstensi yang Anda inginkan aktif. Kami kemudian membuat daftar dengan itu:

Di terminal ( Ctrl + Alt + T), jalankan

gsettings get org.gnome.shell enabled-extensions

Ini mengembalikan daftar dengan ekstensi aktif Anda sekarang

['Bottom_Panel@rmy.pobox.com', 'impatience@gfxmonk.net']

Mengatur ekstensi

Untuk mengaktifkan secara tepat ekstensi dalam daftar, jalankan

gsettings set org.gnome.shell enabled-extensions ['extension_1',  'extension_2', 'extension_3']

tetapi dengan daftar Anda sendiri, tentu saja :)

Script untuk mengatur ekstensi saat boot

Untuk mengotomatisasi saat boot, buat skrip yang menjalankan perintah itu.

1. Pergi ke misalnya folder rumah Anda, dan buat file kosong baru. Beri nama script_name.sh(hanya ekstensi yang penting). Mulai nama file dengan berhenti penuh .jika Anda ingin disembunyikan.

2. Dalam file itu, tulis

#!/bin/bash

gsettings set org.gnome.shell enabled-extensions ['extension_1',  'extension_2', 'extension_3']

Maka simpan file itu, tentu saja :)

3. Jadikan file tersebut dapat dieksekusi misalnya dengan right click > Properties > Permissions > Check "Allow executing file as program" Cara lainnya, ubah izin dari terminal dengan menjalankannya chmod ugo+x script_name.shdi folder skrip.

4. Jadikan pada sistem start up (saya tidak tahu bagaimana lagi untuk melakukan ini ): di ~/.config/autostart/buat file yang dipanggil some_name2.desktopdan di dalamnya dimasukkan

[Desktop Entry]
Name=your_prefered_name_here
Exec=/home/your_user_name/.script_name.sh
# Terminal=false
Type=Application
Hidden=false
StartupNotify=false
Name[en_US]=your_prefered_name_here

Path after Exec=harus menuju tempat skrip yang Anda buat pada langkah 2 berada. Sekali lagi, simpan file :)

Mungkin segera atau setelah boot, Anda akan melihat skrip di Alat Gnome Tweak di bawah Aplikasi Startup. Ini juga harus dijalankan saat startup.

Mengaktifkan dan Menonaktifkan Ekstensi

Jika Anda ingin mengubah ekstensi mana yang dijalankan, Anda harus membuat ulang daftar, lalu masukkan daftar baru dalam menjalankan skrip.

Kata-kata terakhir

Saya harap ini bekerja di 3,14 juga.

Ini bekerja untuk saya:

1. Jalankan di terminal: rm -rd ~/.cache
2. Sistem boot ulang
3. Aktifkan kembali ekstensi Anda (ekstensi harus tetap ada di seluruh reboot sekarang)

Saya memiliki masalah yang sama persis, menjalankan Ubuntu 14.10 dengan GNOME 3.14 dari PPA GNOME 3. Jadi saya mencoba solusi ini , tetapi tantangan sebenarnya bagi saya adalah menemukan pengaturan untuk dipilih, System Defaultbukan GNOMEpada layar login GNOME Ubuntu

Selain itu karena ekstensi Topicons , ekstensi lain masih belum diaktifkan saat login.

Masalah ini tidak berlaku untuk akun pengguna baru yang menunjukkan masalah yang disebabkan oleh penyimpanan file pengaturan Gnome dari versi Gnome Shell yang ditingkatkan sebelumnya.

Saya akan menyelidiki pengaturan ulang pengaturan akun.

Mencoba mengatur ulang semua detail akun Pengguna Gnome untuk pengguna utama saya. Ini tidak berfungsi jadi tidak spesifik akun.