Re: how to change the top bar style

[Norman L Smith <nls1729 gmail com>]

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