Remplacez « Activités » par le nom actuel de l'espace de travail dans Ubuntu 22.04/Fedora 36
Ce didacticiel simple montre comment définir des noms personnalisés pour vos espaces de travail de bureau et remplacer « Activités » en haut à gauche par le nom de l'espace de travail actuel que vous avez spécifié.
Les systèmes d'exploitation de bureau d'aujourd'hui disposent généralement de plusieurs bureaux pour regrouper les fenêtres d'applications sur différents écrans. Ces bureaux virtuels dans GNOME (environnement de bureau par défaut dans Ubuntu/Fedora Workstation) sont appelés espaces de travail. Et chaque espace de travail peut avoir son propre nom.
Étape 1 : Définissez des noms personnalisés pour vos espaces de travail
1. Tout d'abord, recherchez et installez « Dconf Editor » si vous ne l'avez pas dans le logiciel Ubuntu (ou le logiciel GNOME).
2. Ensuite, recherchez et ouvrez l'outil Dconf Editor à partir de l'écran de présentation « Activités ».
Lorsqu'il s'ouvre, accédez à « org/gnome/desktop/vm/preferences ». Faites défiler vers le bas et cliquez sur « workspace-names » pour accéder à la page de configuration.
Enfin, désactivez la valeur par défaut et tapez le nom souhaité dans la zone « Valeur personnalisée ».
REMARQUE : GNOME dispose par défaut de 2 espaces de travail. Il ajoute/supprime automatiquement des espaces de travail pour ne conserver qu'un seul espace de travail vide supplémentaire. Pour définir un nombre fixe d'espaces de travail, ouvrez "Paramètres" et accédez à "Multitâche > Espaces de travail"
Pour ceux qui connaissent les commandes Linux, cela peut être fait simplement en exécutant la commande ci-dessous dans le terminal :
gsettings set org.gnome.desktop.wm.preferences workspace-names "['name1', 'name2', 'name3', 'name4']"Étape 2 : Remplacez « Activités » par le nom actuel de l'espace de travail
En remplaçant « Activités », vous pouvez jeter un coup d'œil en haut à gauche pour vous assurer sur quel espace de travail vous travaillez. Même si le nom change, cela fonctionne toujours comme avant. En cliquant dessus, l'écran d'aperçu s'ouvrira.
1.) Tout d’abord, recherchez et installez « Extension Manager » à partir du logiciel Ubuntu.
Installer le gestionnaire d'extensions dans Ubuntu 22.04
2.) Ensuite, recherchez et lancez l'outil que vous venez d'installer à partir de l'écran de présentation :
3.) Enfin, accédez à l'onglet « Parcourir », recherchez et installez l'extension « Nom de l'espace de travail d'activités ».
Pour les utilisateurs de Fedora 36, accédez simplement à la page Web de l'extension et utilisez l'interrupteur ON/OFF pour l'installer :
Extension du nom de l'espace de travail d'activités : https://extensions.gnome.org/extension/5311/activities-workspace-name/
REMARQUE : Si vous définissez des noms d'espace de travail après avoir installé l'extension, redémarrez GNOME Shell nécessaire pour le faire fonctionner. Pour ce faire, appuyez sur Alt+F2, tapez « r » et appuyez sur Entrée sur la session Xorg, ou déconnectez-vous et reconnectez-vous sur Wayland par défaut.