Nieuws:

Welkom, Gast. Alsjeblieft inloggen of registreren.
Heb je de activerings-mail niet ontvangen?

Auteur Topic: Shell-uitbreiding van user theme inschakelen  (gelezen 322 keer)

Offline Anouk

  • Lid
Shell-uitbreiding van user theme inschakelen
« Gepost op: 2020/02/21, 21:21:39 »
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.

Offline vanadium

  • Lid
  • Steunpunt: Nee
Re: Shell-uitbreiding van user theme inschakelen
« Reactie #1 Gepost op: 2020/02/21, 21:30:02 »
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
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.

Offline EvC

  • Lid
  • Steunpunt: Nee
Re: Shell-uitbreiding van user theme inschakelen
« Reactie #2 Gepost op: 2020/02/21, 22:21:38 »
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?
Linux Mint 20 Cinnamon  +  VMware Player

Offline vanadium

  • Lid
  • Steunpunt: Nee
Re: Shell-uitbreiding van user theme inschakelen
« Reactie #3 Gepost op: 2020/02/22, 10:09:02 »
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.

Offline EvC

  • Lid
  • Steunpunt: Nee
Re: Shell-uitbreiding van user theme inschakelen
« Reactie #4 Gepost op: 2020/02/22, 14:38:05 »
Dank. Gnome ziet op die locatie inderdaad dat het een shell thema is.  :)


Linux Mint 20 Cinnamon  +  VMware Player

Offline EvC

  • Lid
  • Steunpunt: Nee
Re: Shell-uitbreiding van user theme inschakelen
« Reactie #5 Gepost op: 2020/02/22, 22:46:00 »
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.



Linux Mint 20 Cinnamon  +  VMware Player

Offline vanadium

  • Lid
  • Steunpunt: Nee
Re: Shell-uitbreiding van user theme inschakelen
« Reactie #6 Gepost op: 2020/02/23, 13:15:50 »
Systeembreed: ja. Voor enkel de gebruiker (géén beheerdersrechten nodig): .local/share/themes of .themes.