結論 extensions.gnome.org Dash to Dock - GNOME Shell 拡張機能 このサイトでInstallをクリックする GNOMEのサイトでインストールする 細かい設定については、「拡張機能」のアプリから「設定」をクリックする 設定をクリックするとDockの細かな設定ができ…