Mengapa saya memiliki dua dok di desktop Ubuntu 17.10?

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 biasanya muncul ketika saya menginstal Dash to Dock. Mengapa?

^{(Klik gambar untuk memperbesar)}

Saya sudah mencoba melalui opsi untuk Dash to Dock, Alat Tweak GNOME, dan pengaturan Ubuntu biasa, tapi saya tidak bisa mengetahuinya.

Menjalankan Dash to Dock bersama dengan Dock Ubuntu default bukan ide yang baik. Karena Ubuntu Dock adalah cabang dari Dash to Dock (dan karenanya mereka berbagi banyak skema yang sama), masalah seperti ini tidak terlalu mengejutkan.

Nonaktifkan salah satu dari dua ekstensi (Ubuntu Dock dan Dash to Dock) menggunakan Tweaks atau dalam beberapa cara (lihat ini jika Anda ingin menonaktifkan Ubuntu Dock).

Saya melakukan langkah-langkah berikut:

• Buka pengaturan Dash to Dock
• Sampai di tab 'Poistion and size'
• Periksa opsi 'Tampilkan semua monitor'

Ini memperbaiki masalah bagi saya. Semoga ini bekerja untuk Anda juga. Pastikan juga Ubuntu dock dinonaktifkan.

Saya telah bermain dengan masalah serupa: Bilah favorit Gnome ditampilkan di tampilan aktivitas dan dock ditampilkan di layar kunci; seperti kata pomsky, semua masalah ini terkait dengan kombinasi Ubuntu Dock dan Dash to Dock.

Saya menemukan solusi ini untuk menyesuaikan dock dengan hampir semua opsi yang ditawarkan Dash to Dock:

1. Instal Dash to Dock.
2. Buat semua kustomisasi Anda.
3. Hapus Dash to Dock (dari https://extensions.gnome.org/local/ ).
4. Logout dan login.

Meskipun Dash to Dock telah dihapus, penyesuaian (posisi, ukuran, perilaku, penampilan) tetap ada di Ubuntu Dock dan masalah (dok tumpang tindih, dock menunjukkan pada layar kunci dan acara favorit pada tampilan aktivitas) tidak ada lagi.

Catatan: dengan metode ini, satu-satunya hal yang hilang dari Dash to Dock adalah menu "Dash to Dock settings" dari ikon aplikasi, dan tentu saja, entri pengaturan Dash to Dock di Gnome Tweak Tool. Saya belum mencoba, tetapi saya pikir jika Anda membuat perubahan dari entri Dock di pengaturan Ubuntu, mungkin beberapa penyesuaian yang direalisasikan dengan pengaturan Dash ke Dock akan hilang.

Berikut ini berfungsi untuk saya:

1. Pasang dan konfigurasikan ekstensi "dash to dock"

2. Edit file berikut:

   sudo vi /usr/share/gnome-shell/extensions/[email protected]/extension.js
   

3. Di blok kode berikut, ubah let to_enable = true;ke let to_enable = false:

   function conditionallyenabledock() {
       let to_enable = false;
       runningExtensions = ExtensionSystem.extensionOrder;
       for (let i = 0; i < runningExtensions.length; i++) {
           if (runningExtensions[i] === "[email protected]") {
               to_enable = false;
           }
       }
   
       // enable or disable dock depending on dock status and to_enable state
       if (to_enable && !dockManager) {
           dockManager = new Docking.DockManager();
       } else if (!to_enable && dockManager) {
           dockManager.destroy();
           dockManager = null;
       }
   }
   

4. Mulai ulang sesi Anda atau lakukan Alt + F2 dan ketik restart

Itu dia.

Saya menghadapi masalah yang sama, kemudian saya menemukan cluadio nxadm ini . Benar-benar berhasil.

1. Hapus ekstensi Dash to Dock jika Anda telah menginstal.

2. Gunakan dconfseperti yang dijelaskan dalam tautan. Teks dalam langkah ini disalin dari tautan yang sama.

   Untuk mencegah Dock Ubuntu mengambil semua ruang vertikal (mis. Sebagian besar hanyalah bilah kosong):

   dconf write /org/gnome/shell/extensions/dash-to-dock/extend-height false
   

   Trik Dock yang rapi: saat melayang di atas ikon di dock, putar melalui jendela aplikasi sambil menggulir (atau menggunakan dua jari). Jauh lebih cepat daripada klik + pilih:

   dconf write /org/gnome/shell/extensions/dash-to-dock/scroll-action "'cycle-windows'"
   

   Saya mengatur dock ke autohide di aplikasi "Pengaturan" biasa. Diperlukan ekstensi untuk melakukan hal yang sama untuk Top Bar (Anda harus keluar, dan mengaktifkannya melalui aplikasi "Tweaks"):

   sudo apt install gnome-shell-extension-autohidetopbar
   

   Agar aman (mis. Jika Anda melanggar sesuatu), Anda dapat mengatur ulang semua pengaturan GNOME dengan:

   dconf reset -f /
   

Opsional: Anda dapat menginstal dconf-editordan menjelajahi pengaturan lain.