Bagaimana saya bisa menghentikan Dock Ubuntu dari memanjang ke tepi?

11

Secara default Ubuntu Dock di Ubuntu 17.10 dan rilis yang lebih baru selalu meluas ke tepi (atas-bar-ke-bawah jika ditempatkan di kiri atau kanan dan kiri-ke-kanan ketika ditempatkan di bawah) bahkan ketika itu tidak diisi dengan ikon.

Apakah ada cara untuk mencegah perilaku ini (yaitu saya ingin membuat panjang dermaga fleksibel, karena jumlah ikon aplikasi di dermaga meningkat harus diperluas sesuai)?

Dengan kata lain, apakah ada cara untuk membuat Dermaga Ubuntu terlihat seperti "dermaga yang tepat" dan bukan panel samping / bawah?

gnome-shell ubuntu-dock pomsky
sumber

Jawaban:

19

Buka Terminal dan jalankan

gsettings set org.gnome.shell.extensions.dash-to-dock extend-height false

Untuk kembali ke "panel mode" jalankan

gsettings set org.gnome.shell.extensions.dash-to-dock extend-height true
pomsky
sumber
1
Juga, jika Anda menginginkan alat grafis, instal dconf-editor, dan arahkan ke jalur yang disediakan @pomsky (/ org / gnome / shell / extensions / dash-to-dock).
PJ Singh
2

Dengan menggunakan Gnome Tweak Tool, atau https://extensions.gnome.org/local/ , nonaktifkan Ubuntu Dockekstensi bawaan 17.10 , dan instal Dash to Dockekstensi yang lebih dapat dikonfigurasi , dan itu akan memberi Anda dermaga pendek yang Anda inginkan.

https://extensions.gnome.org/extension/307/dash-to-dock/

heynnema
sumber
1
Saya mencoba menonaktifkan Ubuntu Dock menggunakan Tweaks dan extensions.gnome.org/local dalam sesi USB langsung dan memulai kembali shell GNOME (sesi Xorg). Sepertinya mereka tidak berfungsi, dock tetap aktif.
pomsky
1
@ pomsky Saya tidak tahu apakah bekerja di sesi USB langsung membuatnya memuat ulang sesi gnome default saat memulai ulang gnome, atau mengapa itu tidak berhasil. Dalam sesi nyata, menonaktifkan built-in Ubuntu Dockdan mengaktifkan Dash to Dockekstensi dari extensions.gnome.org berfungsi dengan baik, seperti yang seharusnya.
heynnema