13

Request for a tool - if any programmer is interested

view full story
linux-howto

http://ubuntuforums.org – I don't need this tool myself. I was trying to create one based on building a GUI to modify the gnome-shell css file for people who don't know css but want to modify the desktop presented by gnome-shell. Such modifications can create some nice results - see this thread - the last post by cbowman has a jpg that shows how things could look. Apparently there is no gui based tool, outside of just editing the css file by hand, to do this for the common user. I don't have the knowledge or anymore time to waste on it. Therefore, I'm just presenting this as an opportunity for someone who does kno (Hardware)

linuxfan's picture
Submitted by linuxfan on 06/01/2012 – Made popular on 06/01/2012

Stories similar to Request for a tool - if any programmer is interested

I'm crap out of luck. Been trying to get something going where there is apparently a need, but I just don't know what the heck I'm doing anymore.

When you install the gnome-shell package and then login to "gnome", it uses a CSS file to define how it presents the top panel, the calendar, the fonts and colors of the panel, how the menu appears, etc..

Gnome 3.2 Crash 1 year 32 weeks ago

Hey guys I solve it... I uninstall gnome-tweak-tool (but I don't think it was the problem), I found a directory of alternative-status-menu under /usr/share/gnome-shell/extensions and delete it and now it works.Unfortunately I lose most of my settings in previous tests (gnome configuration file and some changes to .js file of ui), but it doesn't matter...

I switched from Unity to Gnome 3.4 but I'd like to tweak my desktop a bit. I want to use a gnome shell theme but the gnome tweak tool won't allow me to modify the gnome shell themes. I've read somewhere that if I reinstall the gnome-shell then it would conflict with Unity and I wouldn't be able to safely use Unity anymore. Is there a way to change the theme without reinstalling the gnome-shell?

After installed gnome-shell session on Ubuntu 12.04, you may be interested to try out a few themes on your desktop, and this simple tutorial will show you how to do it. Preparation:   Apart from ensuring you actually have gnome-shell installed, the first thing need to do is installing gnome-tweak-tool and gnome-shell-extensions-user-theme. Press Ctrl+Alt+T to launch terminal, and type in this

John Stowers has announced the release of GNOME Tweak Tool 3.6.0, a utility popular among users of the GNOME 3 desktop environment. The GNOME Tweak Tool is better known by the users of Ubuntu as Advanced Settings. As you might expect, it's a very important tool for customizing how your Gnome 3 environment looks and behaves.

Top 8 Gnome Shell Extensions 1 year 32 weeks ago

The power of Gnome Shell lies in its extensionability. It is this power that transforms the barely unusable vanilla Gnome Shell desktop environement into a powerful and extremely  usable and productive desktop environment. Gnome shell has a number of useful installations to enhance the user experience.

{lang: 'en-GB'}

GNOME Tweak Tool is an application for changing the advanced settings of GNOME 3 (...)Read the rest of GNOME Tweak Tool - A tool for changing specialised or advanced GNOME3 settings (73 words)

© admin for Ubuntu Geek, 2011.

Half-left has designed yet another great theme for Gnome Shell. His latest theme is based on the look of Ubuntu 12.04 Precise Pangolin and it looks really beautiful.

Download Ubuntu Precise Pangolin Gnome Shell Theme

Instructions

Use User Theme Extension and Gnome Tweak Tool to switch Gnome Shell themes. Gnome Tweak Tool can be installed from Ubuntu Software Center.

Gnome Shell Extension Empty 1 year 20 weeks ago

Here is the situation. Changed unity shell to gnome shell. Installed the gnome tweak tool, installed the shell extension, themes, etc...everything i normally need to do that is installed

When i go to gnome tweak tool, and click on shell extension, the right list is empty

I've surfed the web and questions for answer.