J'utilise CentOS 6.4 avec le bureau GNOME. Comment puis-je augmenter / diminuer le nombre d'espaces de travail Desktop?
Existe-t-il des outils disponibles pour cette opération?
gnome
workspaces
rɑːdʒɑ
la source
la source
Installez gnome-tweak-tool (live.gnome.org/GnomeTweakTool). Accédez à l'onglet Shell sur la gauche. Il existe des "espaces de travail dynamiques" et des options de numéro d'espace de travail. C'est celui que j'utilise pour effectuer de telles modifications sur mon bureau.
la source
J'ai trouvé gnome-help (voir ci-dessous), qui a finalement conduit à une discussion sur les espaces de travail qui a révélé ces instructions de ligne de commande de privilège utilisateur (pas sudo / root) pour définir les lignes et les colonnes:
pour définir le nombre de colonnes (dans mon cas, 3), modifiez le paramètre final:
pour définir le nombre de lignes (également 3, ici), modifiez le paramètre final:
La différence entre les lignes et les colonnes est l'avant-dernier paramètre, soit hsize (pour les colonnes) ou vsize (pour les lignes).
Chapelure de gnome-help:
Rubrique: "Qu'est-ce qu'un espace de travail et comment cela m'aidera-t-il?"
Sous-titre: "Modifier le nombre d'espaces de travail"
Ubuntu 16.04 / gnome 3
la source
J'utilise l' extension " Workspace Grid " pour cela.
Il organise les espaces de travail dans une grille configurable. Vous pouvez modifier la grille à votre guise.
la source