[クイックヒント] Ubuntu 19.04でデスクトップアイコンのサイズを変更する方法

Ubuntu 19.04のGnome 3.32では、デスクトップアイコンは現在gnomeシェル拡張によって管理されています。多くのバグがあるものの、明るい面としてデスクトップアイコンのサイズは現在設定可能です。

1. Ubuntu Softwareを開き、Gnomeデスクトップ設定ツールgnome tweaksを検索してインストールします。

2. Gnome Tweaksを起動し、左のペインから拡張機能に移動します。

「デスクトップアイコン」の設定を表示するには、ギアボタンをクリックしてください。そこで、デスクトップアイコンのサイズを3つの値に変更できます:

• 小さい (48ピクセル)
• 標準 (64ピクセル)
• 大 (96ピクセル)

3. (オプション) デフォルトの3つのオプションサイズがニーズに合わない場合は、拡張機能の設定ファイルを編集することでデフォルト値を変更できます。

Ctrl+Alt+T を使用してアプリケーションメニューからターミナルを開き、拡張子ファイルを編集するコマンドを実行します：

sudo gedit /usr/share/gnome-shell/extensions/desktop-icons@csoriano/prefs.js

プロンプトが表示されたらユーザーパスワードを入力し（アスタリスクによるフィードバックはありません）、Enterキーを押してください。

ファイルが開いたら、下にスクロールして、次の3行を見つけてください:

const ICON_SIZE = { 'small': 48, 'standard': 64, 'large': 96 };
const ICON_WIDTH = { 'small': 120, 'standard': 128, 'large': 128 };
const ICON_HEIGHT = { 'small': 98, 'standard': 114, 'large': 149 };

行の数字を適宜変更し、再起動してUbuntuまたはGnome Shellの変更を適用してください。