Pop! _OS shell est un nouveau gestionnaire de fenêtres à mosaïque automatique développé par l’équipe de développement Pop! _OS. Le shell Pop a été introduit et expédié par défaut dans le dernier Pop! _OS 20.04 basé sur Ubuntu à long terme. Il s’agit simplement d’une extension GNOME exécutée au-dessus du shell GNOME.

Vous pouvez l’utiliser pour la navigation et la gestion des fenêtres sur le bureau GNOME entièrement via le clavier. Par conséquent, dans cet article, je vais vous guider pour installer le shell Pop! _OS sur Ubuntu Linux et transformer votre bureau GNOME en gestionnaire de fenêtres de mosaïque.

Comment installer l’extension de carrelage de fenêtre Pop Shell sur Ubuntu 20.04?

1. Installer les dépendances

Avant d’installer l’extension de shell Pop shell GNOME, vous devez d’abord avoir trois outils importants préinstallés:

  • GNOME Shell 3.36
  • TypeScript 3.8
  • GNU Make

Si vous utilisez Ubuntu 20.04 avec GNOME, vous aurez déjà GNOME Shell 3.36. L’outil Make est également principalement pré-chargé dans chaque distribution Linux. Sinon, installez make avec TypeScript.

sudo apt install node-typescript make

2. Téléchargez ou clonez Pop! _OS Shell Repository

Actuellement, l’extension du shell Pop n’est pas disponible sur l’extension GNOME officielle site. Par conséquent, vous devez télécharger le référentiel shell Pop! _OS et l’installer à l’aide du code source.

Vous pouvez soit télécharger le dépôt directement depuis GitHub ou clonez-le à partir de la ligne de commande en exécutant la commande:

git clone https://github.com/pop-os/shell
Clone Pop Shell GitHub Repository
Clone Pop Shell GitHub Repository

3. Installer l’extension Pop Shell

Une fois que vous avez téléchargé le dépôt, accédez au répertoire shell:

cd shell

Ensuite, exécutez la commande pour transpiler le code source TypeScript et installer l’extension de shell Pop! _OS:

./rebuild.sh
Construire le code source pour installer l'extension de shell Pop
Construire le code source pour installer l’extension de shell Pop

Ici, si vous souhaitez remplacer vos raccourcis clavier par défaut, tapez «y» ou bien «n». Plus tard, vous pouvez également réinitialiser les raccourcis modifiés par défaut.

Comme vous remarquerez ici le processus de transpilation du code source TypeScript en sources JavaScript compatibles GJS, il installera l’extension de shell Pop et modifiera les raccourcis clavier par défaut dans GNOME.

Extension de shell pop installée
Extension de shell pop installée

En fin de compte, le processus d’installation peut ne pas être terminé. Cependant, si vous remarquez un logo de mosaïque dans le coin supérieur droit de votre panneau de bureau GNOME, vous pouvez terminer le processus à l’aide de CTRL + C et commencer à utiliser le gestionnaire de mosaïque Pop Shell.

Gestionnaire de carrelage Pop Shell
Gestionnaire de carrelage Pop Shell

Comment utiliser Pop Shell sur Ubuntu?

Maintenant que vous avez correctement installé l’extension Pop Shell, vous pouvez activer le mode de mosaïque automatique (désactivé par défaut) à partir du panneau supérieur en basculant Tile Windows sur ON. Dès que vous cliquez sur bascule, vous remarquerez que toutes les fenêtres sont divisées en une grille de colonnes et de lignes.

Pop Shell en cours d'exécution
Pop Shell en cours d’exécution

Pendant que l’extension est activée, si vous ouvrez une nouvelle fenêtre, Pop shell l’adapte dans la séquence de Fibonacci dans la structure de grille existante.

Mosaïque automatique Pop Shell dans la séquence de Fibonacci
Mosaïque automatique Pop Shell dans la séquence de Fibonacci

Pop shell propose également d’autres options de personnalisation. Par exemple, vous pouvez basculer sur «Afficher l’indice actif» pour mettre en surbrillance les fenêtres actives et également élargir l’écart entre les fenêtres.

Pop Shell Gap et fenêtre active
Pop Shell Gap et fenêtre active

De plus, vous pouvez activer le lanceur avec Super + / pour parcourir le système et ouvrir les applications.

Lanceur de coquillage Pop
Lanceur de coquillage Pop

Maintenant, si vous ne voulez pas utiliser le shell Pop, vous pouvez le désactiver en désactivant le mode de mosaïque automatique. Vous pouvez également désactiver directement l’extension de fenêtre de mosaïque du shell Pop à partir des extensions GNOME qui la masqueront du panneau.

Extension Pop Shell désactivée
Extension Pop Shell désactivée

Enfin, étant donné que le shell Pop remplace plusieurs raccourcis clavier GNOME par défaut, vous pouvez soit modifier individuellement les raccourcis, soit réinitialiser tous à la fois par défaut dans Paramètres -> Raccourcis clavier -> Réinitialiser tout.

Réinitialiser les raccourcis clavier
Réinitialiser les raccourcis clavier

Comment installer les raccourcis clavier de Pop Shell?

Maintenant, arrivons à un aspect important de Pop Shell – Raccourcis clavier – qui le rend plus facile à utiliser. Pop shell est un calque piloté par clavier que vous pouvez contrôler entièrement sans utiliser de souris. Pour chaque opération, comme basculer entre les fenêtres et activer le lanceur, Pop Shell fournit plusieurs raccourcis clavier.

Au début, vous ne vous souvenez peut-être pas de tous les raccourcis. Par conséquent, vous pouvez installer la boîte de dialogue Raccourcis Pop Shell qui contient une liste complète des raccourcis disponibles.

Erreur de raccourcis Pop Shell
Erreur de raccourcis Pop Shell

Si vous souhaitez installer les raccourcis clavier du shell Pop, vous devez d’abord installer les dépendances. Ensuite, clonez le shell-shortcutsréférentiel et construire le code source pour obtenir la boîte de dialogue Raccourcis.

sudo apt install cargo rustc libgtk-3-dev
git clone https://github.com/pop-os/shell-shortcuts
cd shell-shortcuts
make
sudo make install

Une fois l’installation terminée, vous pouvez ouvrir la boîte de dialogue en exécutant la commande:

pop-shell-shortcuts
Informations sur les raccourcis clavier de Pop Shell
Informations sur les raccourcis clavier de Pop Shell

Plus tard, si vous souhaitez supprimer ou désinstaller les raccourcis Pop Shell, exécutez la commande suivante:

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

Comment supprimer l’extension Pop Shell?

Vous pouvez désinstaller l’extension de fenêtre de mosaïque Pop Shell à l’aide de l’une des trois méthodes.

Tout d’abord, vous pouvez exécuter la commande suivante à partir du shellannuaire:

make uninstall

Deuxièmement, vous pouvez supprimer le répertoire [email protected] de l’emplacement ~/.local/share/gnome-shell/extensions:

rm -r ~/.local/share/gnome-shell/extensions/[email protected]
Supprimer l'extension Pop Shell
Supprimer l’extension Pop Shell

Troisièmement, vous pouvez utiliser l’application GNOME Extension pour supprimer le shell Pop.

Pop Shell supprimer
Pop Shell supprimer

Conclusion

J’espère que l’extension du shell Pop rendra votre journée productive en gérant les fenêtres. Mais permettez-moi également de vous informer que l’extension est toujours en cours de développement.

Par conséquent, vous pouvez le trouver un peu bogué ou ennuyeux dans certains cas. Par exemple, si vous exécutez Pop Shell sur un compositeur Wayland moderne, le bureau GNOME peut devenir insensible.

Dans l’ensemble, l’extension du shell Pop semble être une grande avancée dans le domaine du gestionnaire de fenêtres de mosaïque. Si vous travaillez en mode écran recto-verso, il serait certainement utile de carreler une fenêtre d’un côté de l’écran, une autre de l’autre côté de l’écran. Avec le temps, vous pouvez vous attendre à ce qu’il s’améliore beaucoup et facilite la gestion des fenêtres.

Source link

Leave a Reply