cannelle changer le nom des espaces de travail par bash
Je veux mettre à jour les noms de l'espace de travail par bash.
Quand je cours:
$ gsettings get org.cinnamon.desktop.wm.preferences workspace-names
['0 - Main', 'Project name', 'second project', 'other']
J'essaie donc de mettre à jour cette valeur avec:
gsettings set org.cinnamon.desktop.wm.preferences workspace-names "['0 - Main', 'rename', 'renamew', 'other']"
Lorsque j'exécute les mots de passe get, il fait renvoie la valeur mise à jour. Mais je ne vois pas les étiquettes lorsque je change d'espace de travail ou autre.
Est-ce une sorte de format "tableau" que j'entre mal? Ou cela devrait-il être fait d'une manière complètement différente?
J'utilise cannelle sur Ubuntu, mais c'est probablement une question générale.
J'ai essayé de changer les noms avec votre stratégie et cela a fonctionné (prenant effet après la déconnexion et la reconnexion).
Je pense que votre problème n'est pas un échec de modification des noms, mais que vos paramètres d'espace de travail sont définis pour ne pas afficher les étiquettes lors du changement d'espace de travail.
À la cannelle, essayez ce qui suit:
allez dans Paramètres> Espaces de travail et Activer l'OSD de l'espace de travail.
gsettings fonctionne toujours dans Linux Mint 19.1 mais la syntaxe a un peu changé:
gsettings set org.cinnamon.desktop.wm.preferences workspace-names '@as ["Main","Surf","Mail","Edit"]'
Redémarrage de la cannelle requis par la suite!
Je n'ai trouvé aucun menu de paramètres pour cette dénomination Workspace dans un Linux Mint 19.1 récemment installé.