Cette solution ne fonctionne que pour Ubuntu 20.04 avec l'option Bureau GNOME installé, pas l'unité.
Pour Ubuntu 20.04, vous devez rechercher une L'extension GNOME Shell. qui gèrent les icônes du bureau. L'extension "Desktop Icons" semble être installée par défaut dans certains cas à cette fin. Je suppose que vous l'utilisez ou peut-être une autre appelée "DING".
Pour savoir lequel est installé et actif sur votre ordinateur pour Ubuntu 20.04 et plus, il suffit de lancer "Extensions" à partir de Activités ou ouvrez un terminal et tapez gnome-extensions-app
. Si vous ne trouvez pas les deux, assurez-vous que le paquet gnome-shell-extension-prefs
est installé.
Cela ouvrira une nouvelle fenêtre où vous pourrez voir les informations sur vos extensions gnome et les gérer.
Icônes de bureau
Si vous voyez dans la fenêtre des extensions que Icônes de bureau est activé, cliquez sur son bouton de paramétrage. Vous pouvez maintenant choisir la taille de l'icône entre small
, standard
y large
.
Si vous souhaitez personnaliser encore plus et choisir vos propres dimensions pour ces trois options, consultez le site suivant cette réponse pour Ubuntu 20.04 . Gardez à l'esprit que le nom du répertoire de l'extension commence par desktop-icons@
et se trouve généralement soit à :
-
/usr/share/gnome-shell/extensions
s'il a été installé par le système (ou apt
),
-
~/.local/share/gnome-shell/extensions
s'il a été exclusivement installé par l'utilisateur pour son usage personnel, généralement par le biais de ce site web .
DING
Si vous utilisez Icônes de bureau NG (DING) Pour cela, cliquez avec le bouton droit de la souris sur votre bureau et choisissez "Paramètres" (ou quelque chose de similaire ). Vous pouvez maintenant modifier la taille de l'icône tiny
, small
, standard
o large
.
Si vous voulez personnaliser encore plus et choisir les dimensions de votre propre icône, allez dans le répertoire de l'extension. Son nom commence par ding@
et c'est généralement à ~/.local/share/gnome-shell/extensions
.
Maintenant, dans le ding@…
répertoire, modifier enums.js
lignes 19 à 21 et définissez vos propres valeurs :
var ICON_SIZE = { 'tiny': 36, 'small': 42, 'standard': 50, 'large': 66 };
var ICON_WIDTH = { 'tiny': 70, 'small': 80, 'standard': 95, 'large': 100 };
var ICON_HEIGHT = { 'tiny': 70, 'small': 80, 'standard': 88, 'large': 104 };
Enfin, redémarrez le Shell de gnome en appuyant sur les touches <ALT+F2> et en tapant r
.
Voir aussi : Comment installer et gérer les extensions GNOME Shell ?