gnome-shell을 다시 시작한 후 표시된 작업 공간을 유지합니다(Alt-F2+r).

두 가지를 사용하여 자신만의 빠른 스크립트를 작성하는 것이 좋습니다. 로컬 사용자의 PATH 등을 알고 있다고 가정하고 자세히 설명하겠습니다.

1. 현재 Gnome 쉘을 교체하십시오.주의 사항을 참조하십시오
2. 작업 공간을 원하는 번호로 전환하세요
3. GUI를 통해 스크립트를 실행 가능하게 만듭니다.

/home/user/.local/bin새 파일의 경우 예를 들어 로컬 경로가 로드되었는지 확인하는 것이 더 좋습니다 ( GUI 환경에서는 반드시 로드되지 않으므로 ~/.profile이것 만으로는 충분하지 않습니다).~/.bashrc

스크립트 파일 - 이름은 다음과 같습니다 gnomerestart.sh.

#!/bin/bash
killall -3 gnome-shell & wait
xdotool set_desktop 1

xdotool데스크톱 수는 0부터 시작됩니다 . 총 작업공간 수와 현재 작업공간의 ID를 각각 확인 xdotool get_num_desktops하고 가져옵니다.xdotool get_desktop

실행 가능하게 만드세요:

 chmod +x ~/.local/bin/gnomerestart.sh

~/.profile이제 로컬 저장소가 활성화되어 있는지 확인하십시오. 아직 없으면 행을 추가하십시오.

PATH="$HOME/.local/bin:$PATH"

새 프로필을 로드하려면 다시 로그인해야 합니다. "alt-F2+r"을 무시하려면 이를 호출 r하고 로컬 경로를 먼저 지정해야 합니다. ~/.profile시스템 전체 명령을 무시하려면 항상 이 작업을 수행해야 합니다.

---

편집하다:

로드할 현재 작업공간을 동적으로 정의하려면 다음을 사용하여 스크립트를 조정해야 합니다.

old_number=$(xdotool get_desktop)
killall -3 gnome-shell & wait
xdotool set_desktop ${old_number}