如何通过拖动常规角落区域来调整终端的大小。
以下是我所指的视频链接。我使用的是 Ubuntu 20.04
https://youtu.be/Mkj338ytNPQ?t=3258
一些桌面信息
sudo systemctl status display-manager
● gdm.service - GNOME Display Manager
Loaded: loaded (/lib/systemd/system/gdm.service; static; vendor preset: en>
Drop-In: /lib/systemd/system/display-manager.service.d
└─xdiagnose.conf
Active: active (running) since Fri 2020-10-09 11:00:48 EDT; 13h ago
Process: 1800 ExecStartPre=/usr/share/gdm/generate-config (code=exited, sta>
Process: 1803 ExecStartPre=/usr/lib/gdm3/gdm-wait-for-drm (code=exited, sta>
Main PID: 1804 (gdm3)
Tasks: 3 (limit: 19053)
Memory: 7.6M
CGroup: /system.slice/gdm.service
└─1804 /usr/sbin/gdm3
和
env | grep XDG_CURRENT_DESKTOP
XDG_CURRENT_DESKTOP=ubuntu:GNOME
和
wmctrl -m
Name: GNOME Shell
Class: N/A
PID: N/A
Window manager's "showing the desktop" mode: OFF
答案1
在标准 Ubuntu 桌面中,您可以通过以下方式实现此目的正确的单击窗口,同时按下“窗口操作键”(默认情况下为键)Super。如果您距离角落足够近,则可以向任何方向调整大小,否则,您将调整指向的最近边框的大小。
您可以在 Gnome Tweaks 的“Windows”选项卡中更改窗口操作键。