結論
Dash to Dock - GNOME Shell 拡張機能
このサイトでInstallをクリックする
細かい設定については、「拡張機能」のアプリから「設定」をクリックする
経緯
DebianをGUIとして使う場合、そのままだと機能が少ないです。Ubuntuであれば標準でついている機能がなくて困っていました。*1
macOSのDockのように表示する方法がないか調べていたところ、GNOMEの拡張機能をインストールすれば良いことが分かりました。
(他の拡張機能はDebian内のアプリを通じて入れていたのですが、Dockに関してはGNOMEのサイトを経由しないと入れられないことに気づくのに時間が掛かりました)
このことに気づくまで3ヶ月くらい掛かったので、後続の方のためにも記録を残しておきます。📝
参考記事
Linuxデスクトップを使いやすくする10の方法 - ZDNET Japan
*1:UbuntuではDash to Dockの別ブランチであるUbuntu Dockが自動的にインストールされます → 第538回 Ubuntu Dockをカスタマイズする | gihyo.jp