帮助中心

立即注册 咨询客服

当前位置:首页 > 帮助中心 > 如何在Ubuntu 20.04服务器上安装和使用Pop Shell?

如何在Ubuntu 20.04服务器上安装和使用Pop Shell?

发布时间:2020/6/30 9:42:48    来源: A5互联

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