デスクトップを追加/名前変更/削除し、デスクトップにショートカットを割り当てるスクリプトを開発したいと思います。このポケットベルが好きhttps://github.com/BurntSushi/pager-multihead。 Bashでこれを行う方法はありますか？
ベストアンサー1
wmctrlまたはを使用してxdotoolデスクトップを追加および削除できます。
どちらのツールもデスクトップ数のみ変更できます。これは、まずデスクトップの数を確保する必要があることを意味します。
num_of_desk=$(wmctrl -d | wc -l)
num_of_desk=$(xdotool get_num_desktops)
その後、新しいデスクトップを追加するには、番号に1つを追加する必要があります。
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 ))
どちらのツールもデスクトップの名前を変更または再配置することはできません。