Gnome Workspace / Desktop

• Gnome의 workspace 혹은 작업공간 혹은 가상 데스크탑

• org.gnome.desktop.wm.preferences의 num-workspaces : 워크스페이스 갯수 지정
• org.gnome.desktop.wm.preferences의 workspace-names ['작업 공간 1', '작업 공간 2', '작업 공간 3', '작업 공간 4'] : 워크스페이스의 이름 지정

# 갯수 읽기
gsettings get 'org.gnome.desktop.wm.preferences' num-workspaces
 
# 4개로 지정
gsettings set 'org.gnome.desktop.wm.preferences' num-workspaces 4
 
# 이름 읽기
gsettings get 'org.gnome.desktop.wm.preferences' workspace-names
 
# 이름 설정
gsettings set 'org.gnome.desktop.wm.preferences' workspace-names "['1', '2', '3', '4']"

• 동적으로 워크스페이스를 늘리고 줄임

# dynamic workspace 끄기
gsettings set org.gnome.mutter dynamic-workspaces false
 
# 켜기
gsettings set org.gnome.mutter dynamic-workspaces true