gnome shell extension ddterm:GNOME Shell的另一个下拉终端扩展。 带标签。 在Wayland上本地工作 源码

GNOME Shell的另一个下拉终端扩展 受启发 特色 在Wayland上本地运行 可以通过使用鼠标拖动边框来调整终端窗口的大小 Preferences窗口具有许多不同的设置 正在安装 安装扩展的最简单方法是转到 。 但是,对审核过程有点慢,因此可以在GitHub上找到一个新版本,但在还没有。 如果要从GitHub安装: 从预建套件安装 您可以从“页面下载发行的版本。 您需要文件ddterm@amezin.github.com.shell-extension.zip 。 或者,您可以从下载分支的预构建软件包。 下载它,然后运行: $ gnome-extensions install -f /path/to/ddterm@amezin.github.com.shell-extension.zip 重新启动GNOME Shell 之后,重新启动GNOME Shell-注销,