一、如何在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扩展在平铺窗口管理器领域似乎是一个巨大的进步。如果您在双屏模式下工作，那么将一个窗口平铺到屏幕的一侧，将另一窗口平铺到屏幕的另一侧肯定会有所帮助。时间的流逝，您可以期待它会变得更好，并使窗口处理变得更容易。