Làm cách nào để ẩn Dock trong Gnome?

25

Tôi muốn ẩn hoàn toàn bến tàu trong 17.10. Không chỉ khi chồng chéo mà luôn luôn. Tôi đã thử nhiều tiện ích mở rộng nhưng không có gì hoạt động và tiện ích mở rộng có triển vọng nhất thậm chí không tồn tại. https://extensions.gnome.org/extension/1290/disable-ubfox-dock/

Lưu ý: Giao diện người dùng của tôi chỉ là cửa sổ và hình nền. Không có gì khác được phép tiêu thụ các pixel quý giá của tôi

gnome-shell dock

— pcnate
nguồn

Đâu là phần mở rộng hứa hẹn nhất thậm chí không tồn tại?

— Videonauth

extensions.gnome.org/extension/1290/disable-ubuntu-dock

— pcnate

1

Bạn đã cài đặt chỉnh sửa? Nếu có, hãy kiểm tra phần mở rộng ubfox-dock, nó nên được chuyển sang IRRC, hãy thử tắt nó đi.

— Videonauth

Đã tắt máy đó rồi. Tôi sẽ kiểm tra vào buổi sáng.

— pcnate

Ping tôi khi bạn kiểm tra nó với kết quả.

— Videonauth

19

Bạn có thể sử dụng tiện ích mở rộng sau để ẩn hoàn toàn Dock: https://extensions.gnome.org/extension/307/dash-to-dock/

Với tiện ích mở rộng này, bạn sẽ có thể ẩn dock nhưng vẫn có sẵn các phím tắt dành riêng cho dock. Để làm điều đó, kích hoạt tiện ích mở rộng, đi vào cài đặt của nó và làm như sau:

Bật tùy chọn Tự động thông minh theo Vị trí và kích thước tab .
Nhấp vào biểu tượng "Bánh răng" () bên cạnh công tắc Bật / Tắt của tùy chọn Tự động thông minh để có thêm cài đặt.
Trong cửa sổ hộp thoại mới, vô hiệu hóa cả hai tùy chọn, Autohide và Dodge Windows .
- Vô hiệu hóa autohide sẽ giữ cho dock ẩn ngay cả khi bạn cố gắng di chuyển chuột đến vị trí của dock.
- Vô hiệu hóa các cửa sổ Dodge sẽ giữ cho dock ẩn ngay cả khi nó không bị cản trở bởi bất kỳ cửa sổ nào.

Như đã đề cập trước đây, điều này sẽ không gỡ cài đặt hoặc vô hiệu hóa dock. Nhưng nó sẽ hoàn toàn che giấu nó. Vì vậy, nó sẽ không hiển thị lại trên màn hình trừ khi ít nhất một trong hai tùy chọn trước đó được bật lại.

— Dân
nguồn

Các hành vi ở lại sau khi vô hiệu hóa phần mở rộng. Tôi đã khắc phục sự xuất hiện của dock bằng cách thay đổi độ mờ nền (hình chữ nhật bán trong suốt lớn hơn xuất hiện), vì vậy tôi đã tắt tiện ích mở rộng để thử nếu có bất kỳ cài đặt nào được đặt lại. Sau khi khởi động lại mà không kích hoạt, có vẻ như dấu gạch ngang mặc định sẽ tự động như OP (và tôi) muốn.

— Ctrl-C

13

Trong Ubuntu 17.10, 18.04, 18.10 và 19.04, bạn có thể gỡ cài đặt gnome-shell-extension-ubuntu-dockbằng cách sử dụng:

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

Điều này sẽ loại bỏ dock Ubuntu.

Bạn sẽ cần phải khởi động lại phiên Gnome của mình, bạn có thể thực hiện việc này bằng cách đăng xuất và đăng nhập lại.

— psiphi75
nguồn

1

Đây thực sự là cách tiếp cận sạch nhất imho.

— nhị phân

1

Thay vì đăng xuất và đăng nhập lại, bạn cũng có thể nhấn ALT+F2, nhập 'r', sau đó nhấn enter. (cái này tải lại gnome-shell nhưng vẫn mở cửa sổ!)

— antoineMoPa

@antoineMoPa, cách tiếp cận "nhấn ALT + F2" hoạt động trên phiên X11, nhưng không phải trong phiên Wayland (và có lẽ nó sẽ không bao giờ).

— psiphi75

10

Bạn cũng có thể làm điều đó với trình soạn thảo drc , đây là công cụ khá hữu ích nếu bạn muốn điều chỉnh máy tính để bàn của mình.

Vì vậy, trong trình soạn thảo drc hãy đến /org/gnome/shell/extensions/dash-to-dockvà tắt đồng thời ba đạo cụ này:

tự động
cố định dock
intellihide

Và bạn có dock chỉ hiển thị trong chế độ lớp phủ (giống như với tiện ích mở rộng được đề xuất bởi @Dan).

— La Mã Bekkiev
nguồn

1

Tôi sẽ phải thử điều này. Bạn có biết nếu tôi có thể giữ lại các phím tắt superkey ngay cả khi dock bị ẩn không?

— pcnate

1

@pcnate, Không thực sự biết nhưng các phím tắt AFAIK thường được liên kết với các lệnh, không liên quan đến các thành phần UI, vì vậy rất có thể nó sẽ hoạt động.

— Roman Bekkiev 16/03/18

Tôi có thể xác nhận rằng các phím tắt superkey vẫn hoạt động.

— andersoyvind

1

Có lẽ tốt hơn là sử dụng gsettingscông cụ cho việc này:

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

(lưu ý: cô đọng trên một dòng vì dường như không thể thực hiện các khối mã nhiều dòng trong các nhận xét)

— Desty

@Roman Câu trả lời của bạn dẫn đến hành vi tương tự như Ubuntu Gnome mà tôi thích. Đây thực sự là lựa chọn nit, nhưng tôi thực sự yêu thích vũ trụ phân phối Linux vì nó rất đa dạng và có thể tùy chỉnh; hoàn toàn trực giao với cách tiếp cận một kích cỡ phù hợp với tất cả những gì tôi cho rằng MS đang theo dõi (nhưng có lẽ đó là một quan niệm sai lầm của tôi). Bất kể sở thích của bạn là gì trong thiết kế và hành vi của UI, bạn sẽ tìm thấy một bản phân phối Linux phù hợp với bạn.

— Dohn Joe

2

Phương pháp tốt nhất để làm điều này trong Ubuntu 18.04 là sử dụng gsettings. Tại sao phải cài đặt tiện ích mở rộng khi có cách làm sạch này?

Sử dụng lệnh sau trong terminal để tự động ẩn dock

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

Lưu ý: Hầu hết các chỉnh sửa mà bạn muốn thực hiện với giao diện người dùng của bạn có thể được thực hiện bằng cách sử dụng gsettings.
Sử dụng man gsettingsvà khám phá thêm.

— Jithin Pavithran
nguồn

Đã khá lâu kể từ khi tôi nhìn vào nó nhưng tôi sẽ kiểm tra nó.

— pcnate