Я использую CentOS 6.4 с рабочим столом GNOME. Как я могу увеличить / уменьшить количество рабочих столов рабочего стола?
Есть ли инструменты для этой операции?
gnome
workspaces
rɑːdʒɑ
источник
источник
Установите gnome-tweak-tool (live.gnome.org/GnomeTweakTool). Перейдите на вкладку Shell слева. Есть «Динамические рабочие пространства» и параметры номера рабочего пространства. Это тот, который я использую, чтобы сделать такие изменения на моем рабочем столе.
источник
Я нашел gnome-help (см. Ниже), которая в конечном итоге привела к обсуждению рабочего пространства, в котором были показаны эти инструкции командной строки для пользовательских привилегий (не sudo / root) для установки строк и столбцов:
чтобы установить количество столбцов (в моем случае 3), измените конечный параметр:
чтобы установить количество строк (также 3 здесь), измените конечный параметр:
Разница между строками и столбцами заключается в следующем за последним параметре: hsize (для столбцов) или vsize (для строк).
Панировочные сухари от гнома-хелпа:
Заголовок: «Что такое рабочее пространство и как оно мне поможет?»
SubHeading: «Изменить количество рабочих пространств»
Ubuntu 16.04 / гном 3
источник
Я использую расширение " Workspace Grid " для этого.
Он организует рабочие пространства в настраиваемой сетке. Вы можете изменить сетку, как вам нравится.
источник