http://gnome-look.org/content/show.php/ … tent=83181 and the like. Looking at those submission dates, though (I hadn't noticed everything was from 2008 and earlier, haha) I see what you're getting at. I thought I could theme GDM separately from Gnome itself.
I just need an absolute black ambiance theme (with others does not change)
Would you mind to show me the URL, please ?
I tried installing the extension following the instructions from here:https://github.com/mlutfy/hidetopbarAnd also tried from here:https://extensions.gnome.org/extension/ … e-top-bar/The extension is in ~/.local/share/gnome-shell/extensions, but it won't even show up in gnome-tweak-tool.I see no errors with the two methods I tried.