Pop!_OS shell是由Pop!_OS开发人员团队开发的新的自动平铺窗口管理器。 Pop shell最初是在基于最新Ubuntu的Pop!_OS 20.04中引入并默认提供的。 它只在GNOME Shell之上运行的GNOME扩展。

您可以完全通过键盘使用它来导航和管理GNOME桌面上的窗口。因此,在本文中,我将指导您在Ubuntu Linux上安装Pop!_OS shell,并将GNOME桌面变成平铺窗口管理器。

如何在Ubuntu 20.04上安装Pop Shell 窗口平铺扩展?

1.安装依赖项

在安装Pop shell GNOME shell扩展之前,您首先需要预安装三个重要工具:

  • GNOME Shell 3.36
  • TypeScript 3.8
  • GNU Make

如果您将Ubuntu 20.04与GNOME一起使用,则已经具有GNOME Shell 3.36。 Make工具大部分还预装在每个Linux发行版中。 如果没有安装,请与TypeScript一起安装make。

linuxmi@linuxmi:~/www.linuxmi.com$ sudo apt install node-typescript make

2.下载或克隆Pop!_OS Shell仓库

当前,在官方GNOME扩展站点上不提供Pop shell扩展。 因此,您需要下载Pop!_OS Shell仓库并使用源代码进行安装。

您可以直接从GitHub下载该仓库,也可以通过运行以下命令从命令行克隆该仓库:

linuxmi@linuxmi:~/www.linuxmi.com$ git clone https://github.com/pop-os/shell

3.安装Pop Shell 扩展

下载仓库后,移至shell目录:

linuxmi@linuxmi:~/www.linuxmi.com$ cd shell

然后,运行命令以转换TypeScript源代码并安装Pop!_OS shell扩展:

linuxmi@linuxmi:~/www.linuxmi.com$ ./rebuild.sh

在这里,如果您想覆盖默认的键盘快捷键,请输入“ y”或“ n”。稍后,您还可以将修改后的快捷键重置为默认值。

正如您在这里注意到的,将TypeScript源代码转换为兼容GJS的JavaScript源代码的过程中,它将安装Pop shell扩展并修改GNOME中的默认键盘快捷键。

注意:最后,安装过程可能无法完成。 但是,如果您在GNOME桌面面板的右上角注意到一个平铺徽标,则可以使用CTRL + C完成该过程,然后开始使用Pop Shell平铺管理器。

如何在Ubuntu上使用Pop Shell?

现在,您已经成功安装了Pop shell扩展,可以通过将Tile Windows切换为ON来从顶部面板启用自动平铺模式(默认情况下处于禁用状态)。单击切换后,您会注意到所有窗口都被拆分为由行和列组成的网格。

在扩展为ON的情况下,如果打开新窗口,Pop shell会在现有网格结构中按照斐波那契序列将其匹配。

Pop Shell还提供其他自定义选项。例如,您可以切换“Show Active Hint’”以突出显示活动窗口,也可以扩大窗口之间的间隔。

此外,您可以使用 Super + / 激活启动器,以浏览系统并打开应用程序。

现在,如果您不想使用Pop Shell,可以通过关闭自动平铺模式来禁用它。您也可以从GNOME扩展中直接禁用Pop shell拼贴窗口扩展,以将其隐藏在面板中。

最后,由于Pop shell会覆盖几个默认的GNOME键盘快捷键,因此您可以单独修改快捷键,也可以一次从“设置”->“键盘快捷键”->“全部重置”将所有快捷键重置为默认值。

如何安装Pop Shell键盘快捷键?

现在,进入Pop Shell的一个重要方面-键盘快捷键-使其更易于使用。 Pop Shell是键盘驱动的层,您无需使用鼠标即可完全控制。对于每种操作,例如在窗口之间切换和激活启动器,Pop shell提供了几个键盘快捷键。

最初,您可能不记得所有的快捷方式。因此,您可以安装“ Pop Shell Shortcuts”对话框,其中包含可用快捷方式的完整列表。

如果要安装Pop shell键盘快捷键,则首先需要安装依赖项。然后,克隆shell-shortcuts仓库并构建源代码以获取“快捷方式”对话框。

sudo apt install cargo rustc libgtk-3-dev
git clone https://github.com/pop-os/shell-shortcuts
cd shell-shortcuts
make
sudo make install

成功完成安装后,可以通过运行以下命令打开对话框:

pop-shell-shortcuts

Pop Shell键盘快捷键信息

以后,如果您希望删除或卸载Pop Shell快捷方式,请运行以下命令:

sudo rm /usr/local/bin/pop-shell-shortcuts

如何删除Pop Shell 扩展?

您可以使用这三种方法中的任何一种来卸载Pop Shell平铺窗口扩展。

首先,您可以从shell目录运行以下命令:

make uninstall

其次,您可以从位置~/.local/share/gnome-shell/extensions中删除目录pop-shell@system76.com:

rm -r ~/.local/share/gnome-shell/extensions/pop-shell@system76.com

第三,您可以使用GNOME Extension应用程序删除Pop shell。

总结

我希望Pop shell扩展可以通过管理窗口来提高您的工作效率。但我也要告诉你,这个扩展还在开发中。

因此,在某些情况下,您可能会发现它有一点小问题或烦人。例如,如果在现代Wayland合成器上运行Pop Shell,则GNOME桌面可能会变得无响应。

总体而言,Pop shell扩展在平铺窗口管理器领域也算是一个巨大的进步。如果您在双屏幕模式下工作,那么将一个窗口平铺到屏幕的一侧,将另一窗口平铺到屏幕的另一侧肯定会有所帮助。随着时间的推移,您可以期待它会变得更好,并使窗口操作变得更容易。

发表评论

电子邮件地址不会被公开。 必填项已用*标注