Atalho para renomear o espaço de trabalho no Gnome

Question

Você pode clicar com o botão direito do mouse em Preferências do > no alternador de espaço de trabalho do Gnome para renomear as áreas de trabalho.

Gostaria de saber se é possível configurar um atalho de teclado para disparar a renomeação do espaço de trabalho ativo atual.

    

Answer 1

Use dconf-editor do Terminal, navegue até gnome>desktop>wm> e defina workspace-names para

 ["Internet", "Oracle", "Gimp", "PHP"]

    

Answer 2

Não há atalho que conheço, mas você pode escrever um script para alterar o rótulo do espaço de trabalho:

 

#!/bin/zsh

#get desktop number
n=$(xdotool get_desktop)
n=$[n+1]

#get current workspace label
et=$(cat ~/.workspacenames/names| sed -n "$n p")

#prompt user for new workspace label
label=$(zenity --entry --entry-text="$et" --title="Workspace label" --text="New label")

if [ "$label" = "" ] ; then exit; fi

#replace the workspace label in our local file
sed "$n s/.*/$label/" -i ~/.workspacenames/names

#convert lines of the local file to an array gsettings can understand
magic=$(cat ~/.workspacenames/names | tr '\r\n' '|' | sed "s/.$/\"/;s/^/\"/;s/|/\",\"/g"|sed 's/\(.*\)/\[\]/')

#update settings
gsettings set org.gnome.desktop.wm.preferences workspace-names "$magic"

Esse script pressupõe que você tenha o zenity instalado e tenha um arquivo local chamado ~/.workspacenames/names , que tem um nome para cada espaço de trabalho em uma nova linha. Você pode colocar este script no mesmo diretório que nomes e você pode ter um atalho (para mim, Super + W ) para executá-lo.

    

Answer 3

Script mais limpo (mas precisa de qdbus ). Provavelmente trabalha para o bash também.

 

#!/usr/bin/env zsh

# Capture output in evaljs properly
IFS=$'\n'

function evaljs() {
    eval_res=($(qdbus org.gnome.Shell /org/gnome/Shell org.gnome.Shell.Eval "$1"))
    echo $eval_res[2]
}

if [[ -z $1 ]]; then
    name=$(zenity --entry --entry-text="" --title="Workspace label" --text="New label")
else
    name=$1
fi

evaljs "
    const Gio = imports.gi.Gio;
    let i = global.screen.get_active_workspace_index();

    let settings = new Gio.Settings({ schema_id:
                                      'org.gnome.desktop.wm.preferences'});
    let names = settings.get_strv('workspace-names');

    let oldName = names[i];
    names[i] = '$name';
    settings.set_strv('workspace-names', names);
    oldName;
"