I followed the steps, even remembered doing that on Manjaro with no problem, but here it seems not to be working. I cannot select new shells whatsoever. I only have the default one. I tried reinstalling Gnome Theme, to not effect. And opening Gnome Tweaks trough the terminal showed no errors.
I also noticed that my Gnome Tweaks are not the same as in the video tutorial (I’m missing tabs such as the extension one), so maybe I need to follow a different procedure ? My gnome Themes also only has the only option the change themes (not the ones I tried to install should I precise), with no additional preferences to tweak.
This might be me not realizing something obvious, I hope you can help me.
Actually, Gnome Tweaks only proposes me Arc and Arc-dark and nothing else, but it should propose me more default themes coming along Gnome Themes. I’m scratching my head as to why. Is there a way to mess up Gnome Theme installation like this ? I tried reinstalling it but it stays the same.