====== Gnome Workspace / Desktop ======
* [[linux:gnome|Gnome]]의 workspace 혹은 작업공간 혹은 가상 데스크탑
===== dconf/gsettings 로 워크스페이스 갯수/이름 조정 =====
* ''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 =====
* 동적으로 워크스페이스를 늘리고 줄임
# dynamic workspace 끄기
gsettings set org.gnome.mutter dynamic-workspaces false
# 켜기
gsettings set org.gnome.mutter dynamic-workspaces true