如何在 Ubuntu 20.04 上安裝 Pop Shell? 使用 Pop!_OS 自動平舖管理器
已發表: 2020-06-29Pop! _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 外殼 3.36
- 打字稿 3.8
- GNU 製作
如果您使用帶有 GNOME 的 Ubuntu 20.04,那麼您已經擁有 GNOME Shell 3.36。 Make 工具也大多預裝在每個 Linux 發行版中。 如果沒有,請與 TypeScript 一起安裝make
。
sudo apt install node-typescript make
2. 下載或克隆 Pop!_OS Shell 存儲庫
目前,Pop shell 擴展在官方 GNOME 擴展站點上不可用。 因此,您需要下載 Pop!_OS shell 存儲庫並使用源代碼安裝它。
您可以直接從 GitHub 下載 repo,也可以通過運行以下命令從命令行克隆它:
git 克隆 https://github.com/pop-os/shell
3. 安裝 Pop Shell 擴展
下載 repo 後,移動到 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 從頂部面板啟用自動平鋪模式(默認情況下禁用)。 單擊切換後,您會注意到所有窗口都拆分為列和行網格。
當擴展處於打開狀態時,如果您打開一個新窗口,Pop shell 會使其適應現有網格結構中的斐波那契數列。
Pop shell 還提供其他自定義選項。 例如,您可以切換“顯示活動提示”以突出顯示活動窗口並擴大窗口之間的間隙。
此外,您可以使用Super + /
激活啟動器以在系統中瀏覽並打開應用程序。
現在,如果您不想使用 Pop shell,可以通過關閉自動平鋪模式來禁用它。 您還可以直接從 GNOME 擴展中禁用 Pop shell 平鋪窗口擴展,這會將其從面板中隱藏。
最後,由於 Pop shell 覆蓋了幾個默認的 GNOME 鍵盤快捷鍵,因此您可以單獨修改快捷鍵,也可以從 Settings -> Keyboard Shortcuts -> Reset All 一次全部重置為默認值。
如何安裝 Pop Shell 鍵盤快捷鍵?
現在,來到 Pop Shell 的一個重要方面——鍵盤快捷鍵——它使它更易於使用。 Pop shell 是一個鍵盤驅動層,您無需使用鼠標即可完全控制它。 對於每個操作,例如在窗口之間切換和激活啟動器,Pop shell 提供了幾個鍵盤快捷鍵。
最初,您可能不記得所有快捷方式。 因此,您可以安裝包含可用快捷方式的完整列表的 Pop Shell Shortcuts 對話框。
如果要安裝 Pop shell Keyboard Shortcuts,首先需要安裝依賴項。 然後,克隆shell-shortcuts
存儲庫並構建源代碼以獲取 Shortcuts 對話框。
sudo apt install cargo rustc libgtk-3-dev git clone https://github.com/pop-os/shell-shortcuts cd shell-shortcuts 製作 須藤使安裝
成功安裝完成後,您可以通過運行以下命令打開對話框:
pop-shell 快捷方式
稍後,如果您希望刪除或卸載 Pop Shell 快捷方式,請運行以下命令:
sudo rm /usr/local/bin/pop-shell-shortcuts
如何刪除 Pop Shell 擴展?
您可以使用三種方法中的任何一種來卸載 Pop Shell 平鋪窗口擴展。
首先,您可以從shell
目錄運行以下命令:
進行卸載
其次,您可以從~/.local/share/gnome-shell/extensions
位置刪除目錄[email protected]
:
rm -r ~/.local/share/gnome-shell/extensions/[email protected]
第三,您可以使用 GNOME Extension 應用程序來刪除 Pop shell。
結論
我希望 Pop shell 擴展能夠通過管理窗口讓您的一天富有成效。 但我還要通知您,該擴展仍在開發中。
因此,在某些情況下,您可能會發現它有點錯誤或煩人。 例如,如果您在現代 Wayland 合成器上運行 Pop Shell,GNOME 桌面可能會變得無響應。
總體而言,Pop shell 擴展似乎是平鋪窗口管理器領域的一大進步。 如果您在雙面屏幕模式下工作,那麼將一個窗口平鋪到屏幕的一側,將另一個窗口平鋪到屏幕的另一側肯定會有所幫助。 隨著時間的推移,您可以期望它會變得更好,並使窗口處理更容易。