사용자 도구

사이트 도구


linux:gnome:workspace

Gnome Workspace / Desktop

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

dconf/gsettings 로 워크스페이스 갯수/이름 조정

  • org.gnome.desktop.wm.preferencesnum-workspaces : 워크스페이스 갯수 지정
  • org.gnome.desktop.wm.preferencesworkspace-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
linux/gnome/workspace.txt · 마지막으로 수정됨: 2021/11/11 14:50 저자 kwon37xi