====== 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