Shell-uitbreiding van user theme inschakelen

[Anouk]

Als ik klik op Afstellingen -> Uiterlijk, zie ik dat shell van Thema's uitgeschakeld is.
Hoe kan ik bij Ubuntu 19.10 dit inschakelen? Dit wil ik gebruiken om themes te installeren.

[vanadium]

Om dit te activeren, moet je eerst de extensie "User themes" installeren. Verlaat "Afstellingen - Uiterlijk". Installeer de officiële gnome-shell extensies met het terminal commando

Code: [Selecteer]

sudo apt install gnome-shell-extensions
Start nu "Afstellingen" terug op. Op de "Extensies" tab vindt je nu de extensie "User themes". Activeer die. Herstart "Afstellingen" nu nog eens en op "Afstellingen - Uiterlijk" zal de optie "Shell" nu wel beschikbaar zijn.

[EvC]

En dat kan er na die handelingen zo uitzien:



Mag ik daarop inhaken met de vraag hoe een Gnome shell thema als bijvoorbeeld deze geinstalleerd kan worden?
Uitgepakt staat het in de Downloads map. En dan?

[vanadium]

Hangt af van de themamaker. In de meest eenvoudige vorm pak je het archief uit in je folder .local/share/themes of ook .themes (dat is de "ouderwetse" plaats). Daarna moet het na heropstart van Gnome Tweaks ("Afstellingen") beschikbaar zijn, hier enkel onder "Gnome Shell" want dit thema bevat enkel een Gnome Shell thema.

[EvC]

Dank. Gnome ziet op die locatie inderdaad dat het een shell thema is. 

[EvC]

Overigens bedoel ik met die locatie: usr/share/themes.
Daar staan GTK2 / GTK3 thema's  en Gnome shell thema's in dezelfde map. Gnome ziet dan automatisch welke waar hoort: bij Afstellingen / Uiterlijk.

[vanadium]

Systeembreed: ja. Voor enkel de gebruiker (géén beheerdersrechten nodig): .local/share/themes of .themes.