Hello,
You can use the gnome-tweak-tool and the User Themes extension to
install a
theme in your home directory with changes to gnome-shell.css.
First you need to create a user theme.
The following is a simple script to extract the shell's theme from its
gresource file.
#!/bin/bash
#
gst=/usr/share/gnome-shell/gnome-shell-theme.gresource
cd /tmp
mkdir -p /tmp/MyTheme/theme
cd /tmp/MyTheme
for res in `gresource list $gst`;
{
gresource extract $gst $res > ${res/#\/org\/gnome\/shell/.}
}
mv /tmp/MyTheme/theme /tmp/MyTheme/gnome-shell
#
The files will be found in /tmp/MyTheme/gnome-shell.
Make your changes and then create a compressed tar archive
of the theme.
$ cd /tmp
$ tar -czf MyTheme.tar.gz MyTheme
If you do not have a .themes directory in your home
directory create it.
$ mkdir ${HOME}/.themes
$ mv MyTheme.tar.gz ${HOME}/.themes
$ cd ${HOME}/.themes
$ tar -xzf MyTheme.tar.gz
execute the gnome-tweak-tool
Be sure the User Themes extension is enabled.
Select MyTheme from the Shell Theme pick list.
Hope this helps.
Norman
On Fri, 2015-12-11 at 14:59 +0100, Donato Marrazzo wrote:
> Hello,
> In 3.18 I cannot change the style of the top bar anymore.
> Previously I used to change:
>
> /usr/share/gnome-shell/theme/gnome-shell.css
>
> Any hints?
>
> Thank you, Donato
> _______________________________________________
> gnome-shell-list mailing list
> gnome-shell-list@gnome.org
> https://mail.gnome.org/mailman/listinfo/gnome-shell-list_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list
