ノートブックをUSB-Cドックに接続すると、Xorgは新しいホットプラグ出力を認識しません。これはxrandrが私に与えたものです：
Screen 0: minimum 320 x 200, current 1920 x 1080, maximum 16384 x 16384
eDP connected primary 1920x1080+0+0 (normal left inverted right x axis y axis) 309mm x 173mm
1920x1080 60.01*+
1680x1050 60.01
1280x1024 60.01
1440x900 60.01
1280x800 60.01
1280x720 60.01
1024x768 60.01
800x600 60.01
640x480 60.01
HDMI-A-0 disconnected (normal left inverted right x axis y axis)
DisplayPort-0 disconnected (normal left inverted right x axis y axis)
DisplayPort-1 disconnected (normal left inverted right x axis y axis)
持っていなければならない残りの2つドッキングステーションはDisplayPortを提供していますが、欠落しています。
私が今まで知っていること：
これはハードウェアやドライバの問題ではありません。 2つの理由があると確信しています。同じマシンで Alpine を実行すると、ホットプラグが正常に動作します。そして（より重要な）：ドックが接続された後にのみXorgを起動すると、出力が認識され、接続されたモニターを使用できます。
私の問題は、デバッグをどこで始めるべきかわからないということです。私は動作する（Alpine）Xorgと動作しない（GuixSD）Xorgの出力を比較しようとしましたが、（少なくとも私の意見では）役に立つことができませんでした。モニターなどを検出できないのではなく、出力全体をホットスワップするという事実は、この問題をニッチにしてオンラインで関連項目を見つけることができませんでした。実際に（前述のように）Xを起動すると、出力は正常に動作します。後ろに桟橋が接続されており、状況がさらに奇妙になります。
だから私の質問はそのような問題をデバッグする方法です（しかし、問題が何であるかを知っていれば躊躇しないでください：）。