Ubuntu 18.04 shifter d'espace de travail manquant et raccourcis clavier
J’ai été consterné de constater que la mise en œuvre des espaces de travail 18.04 est inutilisable. Pendant deux décennies, sur divers systèmes Linux/Unix (Redhat, MacOS, Ubuntu 9.014, 12.04, 14.04), j’ai eu une rangée de 12 espaces de travail, chacun d’entre eux correspondant à une touche de fonction ou à une touche de fonction CNTR +, décalés de gauche à droite. avec CNTRL + leftarrow ou rightarrow et a déplacé les fenêtres actives d’un espace de travail à l’autre avec CNTRL + ALT + leftarrow ou rightarrow. Le panneau de contrôle leur a montré leurs noms. J'avais des activités fixes dans des espaces de travail spécifiques (écriture, conversation, programme, courrier, navigation, etc.). Je suis esclave de cette façon de travailler.
Rien de tel en 18.04. Un peu sauvé par la grille de l'espace de travail de Foivos Zakkak, en le faisant fonctionner via la première application Sudo apt-get chrome-gnome-Shell, téléchargez + installez à partir de la page github, pour obtenir une page https://extensions.gnome.org/ local / qui ressemblait à un installateur a déplacé diverses options du curseur sur pour ajouter des raccourcis clavier. J'ai eu ma rangée de 12 espaces de travail et je pouvais réinitialiser les clés pour accéder aux quatre premiers avec CNTRL + F1, ..., CNTRL + F4, mais pas plus haut et il n'y a pas d'option pour ajouter des noms. L’affichage du sélecteur de vitesse qui apparaît momentanément est bien plus pauvre que celui (avec les noms) précédent. Je disposais également d'options de raccourci clavier de déplacement gauche à droite. Cependant, maintenant après le redémarrage, ces options de raccourci gauche-droite semblent avoir disparu et je ne peux plus ouvrir cette page d'extensions. J'apprécie beaucoup l'aide!
Linux propose une gamme d’environnements de bureau et de gestionnaires de fenêtres. Dans une certaine mesure, vous devez adapter votre flux de travail à l'environnement de bureau que vous choisissez, bien que dans une certaine mesure, un environnement de bureau puisse également être adapté à votre flux de travail. Dans ce qui suit, des suggestions sont fournies pour réaliser le flux de travail souhaité dans Gnome Shell.
Installation d'extensions Gnome Shell via le site Web
D'abord, assurez-vous que vous pouvez installer Gnome Extensions directement via le site Web site Web de Gnome Extensions . Cela évite que vous deviez passer par davantage de processus d'installation manuelle sujets à erreurs. Dans Ubuntu 17.10 et 18.04, vous ne pouvez pas installer les extensions de cette façon par défaut.
- Installez l’addon "Gnome Shell Integration" pour votre navigateur.
- Installez le connecteur d'hôte. Le moyen le plus simple est d'utiliser une commande dans le terminal:
Sudo apt install chrome-gnome-Shell
À partir de maintenant (fermez et redémarrez votre navigateur d’abord), vous pouvez simplement installer les extensions Gnome à partir du site Web de Gnome Extensions. Ce sera le moyen le plus simple et le plus simple d’installer des extensions qui ne sont pas incluses dans le logiciel Ubuntu standard.
Nommer/étiqueter vos espaces de travail
Le moyen le plus simple de nommer votre espace de travail consiste à installer "l’indicateur d’espace de travail" officiel de Gnome Extension. Grâce aux paramètres, vous pouvez nommer vos espaces de travail. Vous pouvez toujours désactiver ou supprimer l’extension si vous ne souhaitez pas que le petit indicateur qu’il affiche sur le panneau.
Vous pouvez également installer dconf-editor et l’utiliser pour modifier la clé org.gnome.desktop.wm.preferences workspace-names.
Enfin, vous pouvez définir les paramètres à l’aide d’une commande de terminal, par exemple.
gsettings set org.gnome.desktop.wm.preferences workspace-names "['1 Mail', '2 Browser', '3 Editor', '4 Write',...]"
Configuration de vos raccourcis clavier de navigation
Si vous ne l'avez pas déjà, installez dconf-editor. Dans dconf-editor, vous pouvez assigner des raccourcis clavier pour
- déplacement direct vers un espace de travail spécifique:
org.gnome.desktop.wm.keybindings switch-to-workspace-1jusqu'àworkspace-12. - mouvement relatif:
org.gnome.desktop.wm.keybindings switch-to-workspace-down,upname__,leftname__,rightname__ - les touches correspondantes qui vous permettent de déplacer des applications de manière relative ou directement vers un espace de travail spécifique, par ex.
org.gnome.desktop.wm.keybindings move-to-workspace-1
Lancement automatique d'applications sur un espace de travail spécifique
Installez l’extension "Auto Move Windows" de fmuellner, le même auteur de plusieurs extensions "officielles" de gnome Shell.