実現したいこと
Ubuntuのアプリケーションを表示する
(Dockにある9個の点)をクリックし表示されるアプリ一覧のアイコンサイズを変更したい。
前提
現在、Raspberry Pi 4 Model B上でUbuntuを動かしており、モニターは7インチと小さいものを使用しています。
しかし、画像の様にアプリ一覧に表示されるアイコンの大きさが極端に小さく困っています。
デスクトップやDock、ファイル内のアイコンサイズは普通であり、アプリ一覧のみサイズが小さいです。
コメントで頂いたサイトを読んでみると、このアプリ一覧のアイコンが小さくなる症状はUbuntuのバグだそうです。
特定の画面比率 (16 : 9) でのみ発生するようです。
私の場合だと、1024 × 600(16 : 9)
です。
使用するディスプレイが7インチなので解像度や比率は変更したくないです。
GUI操作による設定や.bashrc
ファイルなどを修正することで変更可能なら知りたいです。
試したこと
設定>外観>デスクトップアイコン>大きさ
→ デスクトップのアイコンサイズ
設定>外観>Dock>アイコンサイズ
→ Dockのアイコンサイズ
これらの箇所を触ってみましたが、それぞれの箇所のアイコンサイズを変更することができましたが、アプリ一覧のアイコンサイズは修正できませんでした。
ChatGPTに相談したところ、GNOME Tweaks を教えてもらったのでこれをインストールし、その設定画面を確認しましたが、拡張機能タブであるExtensionsがありませんでした。
Googleで調べてみると、Extensionsは別アプリとして分裂(それについて書かれてて、参考にしたサイト)したそうなので、Extensionsをインストールし操作しましたが、目的のアプリ一覧のサイズは変わりませんでした。
色々いじった時に実行したコマンドをhistory
で表示させました。
351 sudo apt-get install gnome-tweaks 352 gnome-tweaks 353 sudo apt -y update && sudo apt -y upgrade 354 gnome-tweaks 355 sudo apt -y update && sudo apt -y upgrade 356 sudo apt install gnome-shell-extension-prefs 359 sudo apt-get install dconf-editor 360 org -> gnome -> shell -> extensions -> dash-to-dock 361 sudo nano /usr/share/gnome-shell/theme/ubuntu.css 362 sudo nano /usr/share/gnome-shell/theme/gnome-shell.css
補足情報(FW/ツールのバージョンなど)
・Raspberry Pi 4 Model B 8GB
・Ubuntu 22.04.2 LTS

あなたの回答
tips
プレビュー