Suppose you wish to change the background for GDM (GNOME Display Manager) to /usr/share/backgrounds/zim2687.jpg. Here is how to do it: # xhost +SI:localuser:gdm # sudo -u gdm gsettings set org.gnome.desktop.background picture-uri ‘file:////usr/share/backgrounds/zim2687.jpg’ # xhost -SI:localuser:gdm Log out and you should see the new background when GDM restarts.
|
|
||
|
Jasper St. Pierre just announced the alpha test of extensions.gnome.org: We’re happy to announce that extensions.gnome.org is now in public alpha testing at: https://extensions.gnome.org If you have GNOME Shell 3.2 on your system, you should be able to install extensions from the website via your browser. This uses the “GNOME Shell Integration” browser plugin which is likely already installed on your system if you have GNOME 3.2. The plugin only works with Firefox currently – see “Known Bugs” below. We’ve seeded the site with a small set of extensions, including the extensions from gnome-shell-extensions. If you are the author of This post discusses how to update a GNOME 3.2 Shell extension to work with GNOME 3.2. GNOME 3.2 is about to be released. There are major changes in the way GNOME Shell extensions must to be written in order to work with this version of GNOME. Here is a simple GNOME 3.2 Shell extension which demonstrates a simple popup menu on the right hand side of the panel (top bar.) Once loaded, it can be enabled (displayed) or disabled (removed) without restarting the GNOME Shell. This is a major improvement over GNOME 3.0 and 3.1. // // Copyright (c) 2011 Finnbarr P. Murphy. All rights reserved. // const St = imports.gi.St; const PanelMenu = imports.ui.panelMenu; const |
 |
|
| Copyright © 2007-2024 Finnbarr P. Murphy. All Rights Reserved | ||