Linux(私のウィンドウマネージャーはfluxbox)で、現在のワークスペースを出力として提供するコマンドが必要です(pythonスクリプト)にこの情報が必要なため、可能であれば、単純な出力です)。
私はfluxboxの男(マニュアル)をチェックしましたが、それはほとんど情報を提供しません、そしてこれをオンラインで検索するとき、それは別のウィンドウマネージャーでそれをする方法を説明するだけでした。
fluxbox
は [〜#〜] ewmh [〜#〜] 準拠のウィンドウマネージャーです。つまり、wmctrl
などのツールを使用して操作できます。現在のワークスペースを見つけるには:
$ wmctrl -d | grep '*' | cut -d ' ' -f1
man wmctrl
言う:
-dウィンドウマネージャーによって管理されているすべてのデスクトップを一覧表示します。 (...)2番目の列には、現在のデスクトップの「*」文字が含まれます。それ以外の場合は、「-」文字が含まれます。
[〜#〜] edit [〜#〜]:ワークスペースに単一の名前を付けることができることを確認しました*
。その場合、上記のコマンドは2つの結果を返します。 awk
を使用します:
$ wmctrl -d | awk '{ if ($2 == "'*'") print $0}'