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 Window Tiling Extension？

1.安装依赖项

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

GNOME Shell 3.36

TypeScript 3.8

GNU Make

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

sudo apt install node-typescript make

2.下载或复制Pop！_OS Shell存储库

目前，Pop shell扩展还没有在GNOME官方扩展网站上发布。因此，你需要下载Pop！_OS shell资源库，并使用源代码进行安装。

您可以直接从GitHub下载该存储库，也可以通过运行以下命令从命令行复制该存储库：

git clone https://github.com/pop-os/shell

3.安装Pop Shell Extension

下载存储库后，移至shell目录：

cd shell

然后，运行命令以转换TypeScript源代码并安装Pop！_OS shell扩展：

./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会将其适合现有网格结构中的Fibonacci序列。

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

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

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

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

三、如何安装Pop Shell键盘快捷键？

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

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

如果要安装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快捷方式，请运行以下命令：

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

四、如何删除Pop Shell Extension？

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

首先，您可以从shell目录运行以下命令：

make uninstall

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

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

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

总结

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

【公司名称】成都鸿盛广达科技有限公司

【代理级别】成都联想服务器总代理

【销售经理】成都鸿盛广达科技有限公司

【联系方式】座机：028-85952921 手机：13981931555

【公司地址】成都市武侯区人民南路四段一号时代数码广场A座17楼