Mengapa saya memiliki dua dok di desktop Ubuntu 17.10?

16

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?

IMG:
(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.

Andrew Isom
sumber
Setelah Dash ke Dock diinstal, Anda bisa sudo apt remove gnome-shell-extension-ubuntu-dock. Itulah yang akhirnya saya lakukan untuk menyelesaikan masalah seperti ini. Sampai jumpa!
Shibumi

Jawaban:

11

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

pomsky
sumber
Pomsky benar, saya memiliki masalah yang sama dengan 17.10, bagi saya Dash to Dock menyebabkan masalah
Doudou
1
Saya memiliki masalah yang sama dan DID menonaktifkan dermaga ubuntu sebelum menginstal dock ke dasbor. Jadi saya tidak tahu tentang orang lain, tetapi ini tidak berhasil untuk saya.
verpfeilt
@verpfeilt Tidak mudah untuk menonaktifkan Ubuntu Dock di sesi default Ubuntu. Opsi teraman adalah menginstal vanilla GNOME , Ubuntu Dock dinonaktifkan secara default di sana. Anda juga dapat mempertimbangkan jawaban leopebo untuk pertanyaan ini. Opsi yang berpotensi tidak aman adalah menghapus folder untuk dock dari /usr/share/gnome-shell/extensions.
pomsky
Oke, saya berasumsi dengan "Tweaks" yang Anda maksud gnome-tweak-tool. Inilah yang tidak berhasil untuk saya.
verpfeilt
1
Untuk menghapusnya sudah saya lakukan sudo apt remove gnome-shell-extension-ubuntu-dock. Kemudian keluar / masuk dan Dash to Dock bekerja dengan benar :)
Jérémy Pouyet
7

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.

chai_and_kaapi
sumber
Ini berhasil untuk saya! Adakah yang tahu bagaimana pengaturan ini memengaruhi perilaku dock di layar aktivitas?
everton
Saya hanya bisa membuat tebakan yang mendidik mengapa itu berhasil. Sayangnya saya tidak bisa memberi Anda sesuatu yang konkret.
chai_and_kaapi
Bekerja untuk saya di Ubuntu 18.10, meskipun itu tidak masuk akal.
andreas
Ini berhasil untuk saya. Mungkin ada hubungannya dengan menginstal ubuntu dengan partisi home yang ada?
Stargazer
5

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.

leoperbo
sumber
Sayangnya, ini tidak berhasil untuk saya. Ubuntu Dock sekarang sama seperti sebelumnya. Saya membaca bahwa kanonik menjanjikan bahwa orang akan dapat menggunakan ekstensi Dash to Dock normal jika mereka mau, jadi saya benar-benar bertanya-tanya mengapa masalah ini ada.
verpfeilt
4

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.

David Astillero Pérez
sumber
0

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.

dilguis
sumber