Some notes on how to configure Gnome 3, in preparation for trying to roll it out to the lab machines:

• Install gnome-tweak-tool.
• Get buttons on window title bars: gnome-tweak-tool / Shell / Arrangement of buttons in the title bar / All.
• My installed extensions:

  advanced-settings-in-usermenu@nuware.ru              places-menu@gnome-shell-extensions.gcampax.github.com
  apps-menu@gnome-shell-extensions.gcampax.github.com  RecentItems@bananenfisch.net
  force-quit@xtranophilist                             Shut_Down_Menu@rmy.pobox.com
  nohotcorner@azuri.free.fr                            panel-docklet@quina.at
  workspace-indicator@gnome-shell-extensions.gcampax.github.com
  

  These are in ~.local/share/gnome-shell/extensions.
• Settings also seem to be stored in ~/.gconf.
• Showing date on Gnome 3 panel:

  gsettings set org.gnome.shell.clock show-date true