web-dev-qa-db-ja.com

Ubuntu 19.04でのデスクトップアイコンのサイズの変更

18.10から19.04に移行しました。デスクトップアイコンとショートカットはありますが、大きすぎます。
以前はノーチラスからサイズを小さくすることができましたが、現在はそれに応答しないようで、私が知る限り、デスクトップアイコンはノーチラスの下にありません。

新しい拡張機能をインストールして新しいアイコンを作成し、それらのサイズを変更する代わりに、デスクトップに既にあるアイコンのサイズを小さくする方法があるかどうか疑問に思っていました。

iconsgnome-shell19.04desktop-icons
3
Arkilo

実際、デスクトップイオンはnautilusから提供されなくなりました。現在、Gnome Shell Extensionによって提供されています。アイコンのサイズは変更できますが、オプションは一部のプリセットサイズに制限されており、現在、デフォルトのユーザーインターフェイスでは公開されていません。

Tweaksの使用-アイコンのサイズを変更する最も簡単な方法は、Gnome Tweaks（別名 "Tweaks"）をインストールすることです。 Tweaksの[拡張機能]タブで、[デスクトップアイコン]拡張機能の横に歯車が表示されます。歯車をクリックして、拡張機能の構成オプションにアクセスします。これには、「小」、「標準」、「大」のデスクトップアイコンからの選択が含まれます。

ターミナルの使用-または、ターミナルコマンドでサイズを制御できます。

gsettings get org.gnome.Shell.extensions.desktop-icons icon-size 'standard'

'standard'以外の可能性は'small'と'large'です。これは次のコマンドで学習できます

gsettings range org.gnome.Shell.extensions.desktop-icons icon-size

デフォルトにリセットするには：

gsettings reset org.gnome.Shell.extensions.desktop-icons icon-size

アイコンサイズのカスタマイズ-上級ユーザーのみ

拡張機能の設定では、3つのプリセットアイコンサイズしか使用できません。アイコンサイズのプリセットはファイルprefs.jsにハードコーディングされているため、残念ながらこれらのサイズをカスタマイズするには、拡張機能のソースコードをハッキングする必要があります。

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': 146 };

システム全体の拡張機能は/usr/share/gnome-Shell/extensions/desktop-icons@csorianoにインストールされます。

3
vanadium