最近 20.04 にアップデートしましたが、ドックの設定を変更できなくなりました。設定 < 外観を試してみましたが、トグルが何も機能しないようです。ドックの空き領域を右クリックして試してみましたが、何も起こりませんでした。困惑しています。dconf エディターと org < gnome < shell < 拡張機能 < dash-to-dock をインストールしましたが、どちらも役に立たないようです。これはアップデートと関係があるのでしょうか? 左側の小さなアイコンにはうんざりです。下に大きいアイコンが欲しいです。助けていただければ幸いです。
答え1
設定/外観に移動します（20.04デスクトップの右上のドロップダウンから）。
ドックセクションには4つの設定があります。
ドックを自動的に隠す
アイコンサイズ
表示オン（複数のモニターがある場合）
画面上の位置