데스크톱을 추가/이름 바꾸기/제거하고 데스크톱에 바로가기를 할당하는 스크립트를 개발하고 싶습니다. 이 호출기를 좋아합니다https://github.com/BurntSushi/pager-multihead. Bash를 통해 이를 수행할 수 있는 방법이 있습니까?
답변1
wmctrl또는 를 사용하여 xdotool데스크탑을 추가 및 제거 할 수 있습니다 .
두 도구 모두 데스크톱 수만 변경할 수 있습니다. 이는 먼저 데스크톱 수를 확보해야 함을 의미합니다.
num_of_desk=$(wmctrl -d | wc -l)
num_of_desk=$(xdotool get_num_desktops)
그런 다음 새 데스크톱을 추가하려면 번호에 하나를 추가해야 합니다.
wmctrl -n $(( num_of_desk + 1 ))
xdotool set_num_desktops $(( num_of_desk + 1 ))
또는 마지막 데스크탑을 삭제하려면 마이너스 1을 사용하세요.
wmctrl -n $(( num_of_desk - 1 ))
xdotool set_num_desktops $(( num_of_desk - 1 ))
두 도구 모두 데스크탑 이름을 바꾸거나 재배열할 수 없습니다.