Bagaimana saya bisa menyembunyikan Dock di GNOME?

25

Saya ingin benar-benar menyembunyikan dok di 17.10. Bukan hanya saat tumpang tindih tetapi selalu. Saya telah mencoba banyak ekstensi tetapi tidak ada yang berhasil dan ekstensi yang paling menjanjikan bahkan tidak ada. https://extensions.gnome.org/extension/1290/disable-ubuntu-dock/

Catatan: UI saya hanya windows dan wallpaper. Tidak ada hal lain yang diizinkan untuk mengkonsumsi piksel berharga saya

pcnate
sumber
Ekstensi mana yang paling menjanjikan yang bahkan tidak ada?
Videonauth
1
Anda telah menginstal tweak? Jika ya, periksa ekstensi ubuntu-dock yang harus diaktifkan pada IRRC, coba matikan itu.
Videonauth
Sudah mematikan mesin itu. Saya akan memeriksa di pagi hari.
pcnate
Ping saya ketika Anda memeriksanya dengan hasilnya.
Videonauth

Jawaban:

20

Anda dapat menggunakan ekstensi berikut untuk sepenuhnya menyembunyikan Dock: https://extensions.gnome.org/extension/307/dash-to-dock/

Dengan ekstensi ini, Anda dapat menyembunyikan dok tetapi tetap menyediakan pintasan khusus dock. Untuk melakukan itu, aktifkan ekstensi, masuk ke pengaturannya dan lakukan hal berikut:

  • Aktifkan autohide Cerdas pilihan di bawah Posisi dan ukuran tab.
  • Klik ikon "Gear" (⚙) di sebelah sakelar Nyala / Mati opsi Intelligent autohide untuk pengaturan lebih lanjut.
  • Di jendela dialog baru, nonaktifkan kedua opsi, Autohide dan Dodge Windows .
    Dock Dinonaktifkan
    • Menonaktifkan autohide akan membuat dok tetap tersembunyi meskipun Anda mencoba memindahkan mouse ke tempat dok.
    • Menonaktifkan jendela Dodge akan membuat dok tetap tersembunyi meskipun tidak terhalang oleh jendela apa pun.

Seperti yang disebutkan sebelumnya, ini tidak akan menghapus atau menonaktifkan dermaga. Tapi itu benar-benar akan menyembunyikannya. Jadi tidak akan muncul di layar lagi kecuali setidaknya satu dari dua opsi sebelumnya diaktifkan kembali.

Dan
sumber
Perilaku tetap setelah menonaktifkan ekstensi. Saya menyadap tampilan dock dengan mengubah opacity latar belakang (persegi panjang semitransparan besar tambahan muncul), jadi saya menonaktifkan ekstensi untuk mencoba jika ada pengaturan yang akan diatur ulang. Setelah memulai ulang tanpa mengaktifkannya, tampak bahwa dasbor default diotomatiskan sesuai keinginan OP (dan saya).
Ctrl-C
14

Di Ubuntu 17.10, 18.04, 18.10 dan 19.04 Anda dapat menghapus instalasi gnome-shell-extension-ubuntu-dockmenggunakan:

sudo apt remove gnome-shell-extension-ubuntu-dock

Ini akan menghapus dok Ubuntu.

Anda harus memulai kembali sesi GNOME Anda, Anda dapat melakukan ini dengan keluar dan kembali.

psiphi75
sumber
1
Ini sebenarnya pendekatan imho terbersih.
binaryanomaly
2
Alih-alih keluar dan kembali, Anda juga dapat menekan ALT+F2, ketik 'r', lalu tekan enter. (ini memuat ulang gnome-shell tetapi membuat windows tetap terbuka!)
antoineMoPa
@antoineMoPa, pendekatan "tekan ALT + F2" bekerja pada sesi X11, tetapi tidak dalam sesi Wayland (dan mungkin tidak akan pernah).
psiphi75
10

Anda juga bisa melakukannya dengan dconf Editor yang merupakan alat yang sangat berguna jika Anda suka mengubah-ubah desktop Anda.

Jadi, di dconf Editor, buka /org/gnome/shell/extensions/dash-to-dockdan matikan secara bersamaan ketiga alat peraga ini:

  • sembunyi otomatis
  • dermaga-diperbaiki
  • Intellihide

Dan Anda harus merapat hanya terlihat dalam mode hamparan (sama dengan ekstensi yang disarankan oleh @Dan).

Roman Bekkiev
sumber
1
Saya harus mencoba ini. Apakah Anda tahu jika saya bisa mempertahankan pintasan superkey bahkan dengan dok tersembunyi?
pcnate
1
@pcnate, Tidak terlalu tahu tapi pintasan AFAIK biasanya ditautkan ke perintah, bukan ke elemen UI, jadi kemungkinan besar itu akan berfungsi.
Roman Bekkiev
Saya dapat mengonfirmasi bahwa pintasan superkey masih berfungsi.
andersoyvind
1
Mungkin lebih baik menggunakan gsettingsalat ini untuk ini: gsettings set org.gnome.shell.extensions.dash-to-dock autohide false && gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false && gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false(catatan: terkondensasi pada satu baris karena sepertinya tidak mungkin untuk melakukan blok kode multi-baris dalam komentar)
Desty
@Roman Jawaban Anda mengarah ke perilaku yang sama dengan Ubuntu Gnome yang saya sukai. Ini benar-benar membingungkan, tetapi saya benar-benar menyukai Linux-semesta distribusi karena sangat beragam dan dapat disesuaikan; benar-benar ortogonal dengan pendekatan satu ukuran untuk semua yang saya anggap mengikuti MS (tapi mungkin itu kesalahpahaman saya). Tidak peduli apa preferensi Anda dalam desain dan perilaku UI, Anda akan menemukan distribusi Linux yang cocok untuk Anda.
Dohn Joe
2

Metode terbaik untuk melakukan ini di Ubuntu 18.04 adalah dengan menggunakan gsettings. Mengapa memasang ekstensi ketika ada cara bersih untuk melakukan ini?

Gunakan perintah berikut di terminal untuk menyembunyikan secara otomatis dock

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

Catatan: Sebagian besar tweak yang ingin Anda lakukan dengan UI Anda dapat dilakukan menggunakan gsettings.
Gunakan man gsettingsdan jelajahi lebih banyak.

Jithin Pavithran
sumber
Sudah cukup lama sejak saya melihat ini tetapi saya akan memeriksanya.
pcnate