RedHat / CentOS 7.1: Alterar os nomes dos espaços de trabalho do Gnome

Question

RedHat / CentOS 7.1.1503; GNOME Shell 3.8.4

Eu nomeio meus espaços de trabalho depois dos projetos atuais em que estou trabalhando (por 1-4 semanas). Como posso renomeá-los de "1" "2" ... para algo como "Vienna" "Berlin"?

No CentOS6, cliquei com o botão direito no complemento do painel da área de trabalho e renomei-o nas propriedades.

Já encontrei a extensão "Workspace Lables" ( link ), mas isso não me permite para mudar os nomes.

    

Answer 1

OK, encontrei um caminho via gsettings:

$ gsettings set org.gnome.desktop.wm.preferences workspace-names "['Com', 'Vienna', 'Test1', 'Test2','Test3']"
$ gsettings set org.gnome.desktop.wm.preferences num-workspaces "5"

    

Answer 2

O

link faz parte das extensões principais e permite a nomeação de espaços de trabalho.

    

Answer 3

Eu gostaria de acrescentar uma coisa à resposta do Nico.

Quando você executa este comando, se obtiver o GLib-GIO-Message :

 GLib-GIO-Message: Using the 'memory' GSettings backend.  Your settings will not be saved or shared with other applications.

verifique o caminho para o comando. No meu caso, executando which gsettings mostrou o caminho para a pasta anacoda:

 .../anaconda3/bin/gsettings

Usando caminho absoluto para o sistema gsettings resolveu o problema:

 /usr/bin/gsettings set ...

PS. Esta resposta é baseada em uma resposta aqui