ubuntuusers.de

Schon einiges versucht mit Gnome extension, auch mit "Aktivitäten" + Eingabe "extensions" usw.

Auch mit gnome-tweaks Themse geändert (zumindest die angebotene Auswahl) ohne positive Resultate.

Eigentlich suche ich die Datei, in der man den Abstand einstellen kann, oder das entsprechende GUI dazu.

Vorschläge, Lösungen ?

Hiermit konnte ich das "Padding" verkleinern :

Gnome extension eingeschaltet (s. https://askubuntu.com/questions/1029376/how-do-i-enable-and-disable-gnome-extensions-from-the-command-line) :

gsettings set org.gnome.shell disable-user-extensions false

Und siehe https://askubuntu.com/questions/1254744/how-to-decrease-the-padding-of-dock-icons-in-ubuntu-20-04 für weitere Vorgehensweise :

1. Via (s. Antwort von Ankit Jain)

dconf-editor

custom-theme-shrink eingeschaltet

2. Via

gnome-tweaks

Thema "yaru" ausgewählt

3. Am Ende der folgenden Datei (s. Antwort von mumboFromAvnotaklu):

sudo gedit /usr/share/themes/Yaru/gnome-shell/gnome-shell.css

habe ich das folgende :

#dashtodockContainer .overview-icon {
padding-top:2px;
padding-bottom:2px;
padding-right: 1px;
padding-left: 1px;
}

#dashtodockContainer.icon {
padding-top:1px;
padding-bottom:1px;
padding-right: 1px;
padding-left: 1px;
border-radius: 0px;/*for square border */
}

ergänzt.

Gnome neu gestartet, Alt+F2 r.

Das Padding hat sich deutlich verkleinert.

Eigentlich wollte ich das Problem ohne "gnome extensions" lösen.

Aber ich konnte nicht die "default css Datei" finden, in der das Dock-Padding eingestellt wird.