Как установить Pop Shell на Ubuntu 20.04? Используйте Pop! _OS Auto-Tiling Manager


Оболочка Pop! _OS – это новый оконный менеджер с авто-мозаикой, разработанный командой разработчиков Pop! _OS. Оболочка Pop была впервые представлена ​​и поставлена ​​по умолчанию в последней версии Pop! _OS 20.04, основанной на Ubuntu. Это просто расширение GNOME, работающее поверх оболочки GNOME.

Вы можете использовать его для навигации и управления окнами на рабочем столе GNOME полностью через клавиатуру. Поэтому в этой статье я расскажу вам, как установить оболочку Pop! _OS на Ubuntu Linux и превратить ваш рабочий стол GNOME в оконный менеджер.

Как установить расширение для окон Pop Shell в Ubuntu 20.04?

1. Установите зависимости

Перед установкой расширения оболочки GNOME для оболочки Pop необходимо предварительно установить три важных инструмента:

  • GNOME Shell 3.36
  • TypeScript 3.8
  • GNU Make

Если вы используете Ubuntu 20.04 с GNOME, у вас уже есть GNOME Shell 3.36. Инструмент Make также в основном предварительно загружен в каждый дистрибутив Linux. Если нет, установите make вместе с TypeScript.

sudo apt установить узел-машинопись сделай

2. Загрузите или клонируйте Pop! _OS Shell Repository

В настоящее время расширение Pop не доступно для официального расширения GNOME. сайт, Следовательно, вам необходимо скачать репозиторий оболочки Pop! _OS и установить его с использованием исходного кода.

Вы можете скачать репо прямо с GitHub или клонировать его из командной строки, выполнив команду:

git clone https://github.com/pop-os/shellClone Pop Shell GitHub РепозиторийClone Pop Shell GitHub Репозиторий

3. Установите расширение Pop Shell

Как только вы загрузите репозиторий, перейдите в каталог оболочки:

оболочка компакт-диска

Затем выполните команду, чтобы передать исходный код TypeScript и установить расширение оболочки Pop! _OS:

./rebuild.shСборка исходного кода для установки расширения Pop shellСборка исходного кода для установки расширения Pop shell

Здесь, если вы хотите переопределить стандартные сочетания клавиш, введите «y» или «n». Позже вы также можете сбросить измененные ярлыки по умолчанию.

Как вы заметите здесь, процесс переноса исходного кода TypeScript в GJS-совместимые исходники JavaScript, он установит расширение оболочки Pop и изменит сочетания клавиш по умолчанию в GNOME.

Расширение поп-оболочки установленоРасширение поп-оболочки установлено

В конце концов, процесс установки может быть не завершен. Однако, если вы заметили логотип в верхней правой части панели рабочего стола GNOME, вы можете завершить процесс с помощью сочетания клавиш CTRL + C и начать использовать диспетчер листов Pop Shell.

Pop Shell Tiling managerPop Shell Tiling manager

Как использовать Pop Shell в Ubuntu?

Теперь, когда вы успешно установили расширение оболочки Pop, вы можете включить режим автоматического разбиения на плитки (по умолчанию отключен), переключив Tile Windows в положение ON. Как только вы нажмете на переключатель, вы заметите, что все окна разбиты на сетку из столбцов и строк.

Pop Shell работаетPop Shell работает

Когда расширение включено, если вы открываете новое окно, оболочка Pop соответствует ему в последовательности Фибоначчи в существующей структуре сетки.

Автоматическая мозаика Pop Shell в последовательности ФибоначчиАвтоматическая мозаика Pop Shell в последовательности Фибоначчи

Pop Shell также предлагает другие варианты настройки. Например, вы можете включить «Показать активную подсказку», чтобы выделить активные окна, а также увеличить разрыв между окнами.

Pop Shell Gap и активное окноPop Shell Gap и активное окно

Кроме того, вы можете активировать панель запуска с Super + / для просмотра в системе и открытия приложений.

Pop Shell LauncherPop Shell Launcher

Теперь, если вы не хотите использовать Pop shell, вы можете отключить его, отключив режим автоматического тайлинга. Вы также можете напрямую отключить расширение окна мозаики Pop shell из расширений GNOME, которые будут скрывать его от панели.

Расширение Pop Shell отключеноРасширение Pop Shell отключено

Наконец, поскольку оболочка Pop переопределяет несколько сочетаний клавиш GNOME по умолчанию, вы можете по отдельности изменить сочетания клавиш или сбросить все сразу по умолчанию из меню «Настройки» -> «Сочетания клавиш» -> «Сбросить все».

Сбросить сочетания клавишСбросить сочетания клавиш

Как установить сочетания клавиш Pop Shell?

Теперь перейдем к важному аспекту Pop Shell – сочетания клавиш – который упрощает использование. Pop shell – слой, управляемый клавиатурой, которым вы можете полностью управлять, не используя мышь. Для каждой операции, такой как переключение между окнами и активация панели запуска, оболочка Pop предоставляет несколько сочетаний клавиш.

Первоначально вы можете не помнить все ярлыки. Следовательно, вы можете установить диалоговое окно Pop Shell Shortcuts, содержащее полный список доступных ярлыков.

Ошибка ярлыков Pop ShellОшибка ярлыков Pop Shell

Если вы хотите установить сочетания клавиш для оболочки Pop, сначала необходимо установить зависимости. Затем клонируйте репозиторий shell-shortcuts и соберите исходный код, чтобы получить диалог 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Информация о сочетаниях клавиш Pop Shell

Позже, если вы хотите удалить или удалить ярлыки Pop Shell, выполните следующую команду:

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

Как удалить расширение Pop Shell?

Вы можете удалить расширение всплывающего окна Pop Shell любым из трех способов.

Сначала вы можете запустить следующую команду из директории shell:

сделать деинсталляцию

Во-вторых, вы можете удалить каталог [email protected] из расположения ~ / .local / share / gnome-shell / extensions:

rm -r ~ / .local / share / gnome-shell / extensions /[email protected]Удалить расширение Pop ShellУдалить расширение Pop Shell

В-третьих, вы можете использовать приложение GNOME Extension для удаления оболочки Pop.

Pop Shell удалитьPop Shell удалить

Вывод

Я надеюсь, что расширение оболочки Pop сделает ваш день продуктивным, управляя окнами. Но позвольте мне также сообщить вам, что расширение все еще находится в стадии разработки.

Таким образом, вы можете найти его немного глючным или раздражающим в некоторых случаях. Например, если вы запускаете Pop Shell на современном компоновщике Wayland, рабочий стол GNOME может стать неотзывчивым,

В целом, расширение оболочки Pop кажется большим достижением в области оконного менеджера. Если вы работаете в режиме двухстороннего экрана, это определенно поможет расположить одно окно на одной стороне экрана, а другое на другой стороне экрана. Со временем вы можете ожидать, что он станет намного лучше и упростит обработку окон.


0 Comments

Добавить комментарий

%d такие блоггеры, как: